nixpkgs / ats - Functional programming language with dependent types

Homepage - http://www.ats-lang.org

License - GPL-3.0-or-later

Maintainers - Austin Seipp

Releases

0.2.12 (expand/collapse)
From commit 07ba92e7 to 00460bd6
0.2.11 (expand/collapse)
From commit 04499628 to 04499628
0.2.12 (expand/collapse)
From commit 01d1ec25 to 01e9dfb4
0.2.11 (expand/collapse)
From commit 0242b3c6 to 05e8a48f