Search Portage & Overlays:
Newest
News
Repository news
GLSAs
Browse
USE Flags
Overlays
More...
dev-lang
/ats2
Functional programming language with dependent types
Screenshots
https://www.cs.bu.edu/~hwxi/atslangweb/
https://sourceforge.net/projects/ats2-lang/
ats2-0.4.2-r1
~amd64 ~x86
emacs
View
Download
Browse
License: GPL-3+
Overlay:
gentoo
ChangeLog
USE Flags
Dependencies
Reverse Deps
Related Bugs
USE Flags
emacs
Global:
Adds support for GNU Emacs