nixpkgs / ats2 - Functional programming language with dependent types

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

License - GPL-3.0-or-later

Maintainers - Austin Seipp - Thomas Tuegel - Brandon Elam Barker

Releases

0.4.1 (expand/collapse)
From commit 06749ba3 to 00460bd6
0.3.13 (expand/collapse)
From commit 05fe6112 to 05fe6112
0.4.1 (expand/collapse)
From commit 06f2fd5f to 0096eb92
0.3.13 (expand/collapse)
From commit 00afc855 to 00afc855
0.4.1 (expand/collapse)
From commit 0722158d to 07e49512
0.3.13 (expand/collapse)
From commit 04b7c0af to 04b7c0af
0.4.1 (expand/collapse)
From commit 05d4955a to 03df9f54
0.3.13 (expand/collapse)
From commit 00251c06 to 00251c06
0.4.1 (expand/collapse)
From commit 05659a44 to 06d328c3
0.3.13 (expand/collapse)
From commit 069e485c to 069e485c
0.4.1 (expand/collapse)
From commit 015c5a2b to 019fa5f6
0.3.13 (expand/collapse)
From commit 00946dc2 to 00347e95
0.4.1 (expand/collapse)
From commit 01762fec to 015d4e2e
0.3.13 (expand/collapse)
From commit 063f1d73 to 021c6fee
0.4.1 (expand/collapse)
From commit 0367125b to 0367125b
0.3.13 (expand/collapse)
From commit 04cc8385 to 0331c39d
0.3.12 (expand/collapse)
From commit 0045164b to 0045164b
0.3.13 (expand/collapse)
From commit 039087ac to 06fad89b
0.3.12 (expand/collapse)
From commit 0382f5ef to 0382f5ef
0.3.13 (expand/collapse)
From commit 044a8a24 to 02d3e977
0.3.12 (expand/collapse)
From commit 01cd6cda to 04f051d7
0.3.13 (expand/collapse)
From commit 04551d26 to 04551d26
0.3.12 (expand/collapse)
From commit 0607adde to 038b8981
0.3.9 (expand/collapse)
From commit 02a3726a to 02a3726a
0.3.12 (expand/collapse)
From commit 075e4883 to 0111c7d8
0.2.7 (expand/collapse)
From commit 044ceae2 to 044ceae2
0.3.11 (expand/collapse)
From commit 0560caa5 to 0560caa5
0.3.12 (expand/collapse)
From commit 073ded7c to 0325373b
0.3.11 (expand/collapse)
From commit 00ab5c5b to 0013bc30
0.3.9 (expand/collapse)
From commit 016922f8 to 016922f8
0.3.11 (expand/collapse)
From commit 02f70536 to 06b42906
0.3.9 (expand/collapse)
From commit 05bc5fed to 05bc5fed
0.3.11 (expand/collapse)
From commit 02fb8fb7 to 027d52ff
0.3.9 (expand/collapse)
From commit 00528006 to 0415710a
0.3.7 (expand/collapse)
From commit 077811eb to 077811eb
0.3.9 (expand/collapse)
From commit 04113fb8 to 04e13de9
0.3.7 (expand/collapse)
From commit 01e1722e to 01e1722e
0.3.9 (expand/collapse)
From commit 011e7015 to 03cf4bf6
0.3.7 (expand/collapse)
From commit 068d792f to 068d792f
0.3.9 (expand/collapse)
From commit 059f33c6 to 07be047a
0.3.7 (expand/collapse)
From commit 04c37137 to 04c37137
0.3.9 (expand/collapse)
From commit 03cae069 to 02e269d0
0.3.7 (expand/collapse)
From commit 017d678a to 017d678a
0.3.9 (expand/collapse)
From commit 01014713 to 041b27bf
0.3.7 (expand/collapse)
From commit 0004682e to 03efbb01
0.3.0 (expand/collapse)
From commit 039cb629 to 039cb629
0.3.7 (expand/collapse)
From commit 04dd10f8 to 071c6bb8
0.3.0 (expand/collapse)
From commit 07c375d9 to 07c375d9
0.3.7 (expand/collapse)
From commit 00d379a8 to 074a43f3
0.3.0 (expand/collapse)
From commit 05f53b83 to 05f159b6
0.2.13 (expand/collapse)
From commit 025555d7 to 025555d7
0.3.0 (expand/collapse)
From commit 016bec0e to 01fd8672
0.2.13 (expand/collapse)
From commit 025c571f to 025c571f
0.3.0 (expand/collapse)
From commit 016a194a to 01fef925
0.2.13 (expand/collapse)
From commit 0761b0bc to 068dad3a
0.2.7 (expand/collapse)
From commit 06e16f00 to 06e16f00
0.2.13 (expand/collapse)
From commit 0163f0c4 to 000fb9be
0.2.12 (expand/collapse)
From commit 00c46ecd to 02a839bf
0.2.13 (expand/collapse)
From commit 02c65bda to 040d5162
0.2.12 (expand/collapse)
From commit 0409ce23 to 076b90d5
0.2.11 (expand/collapse)
From commit 07950a24 to 07950a24
0.2.12 (expand/collapse)
From commit 0637d949 to 007fa632
0.2.11 (expand/collapse)
From commit 070ff88f to 0031e01e
0.2.7 (expand/collapse)
From commit 0373eb86 to 016d6eaa
0.2.6 (expand/collapse)
From commit 046ee5ac to 03b115f8
0.2.4 (expand/collapse)
From commit 01fe47c7 to 008ba8f7
0.1.12 (expand/collapse)
From commit 0761f81d to 01eb3853
0.1.11 (expand/collapse)
From commit 045e93e0 to 045e93e0
0.1.12 (expand/collapse)
From commit 04622fe3 to 002c687e
0.1.11 (expand/collapse)
From commit 00230c92 to 0700e844
0.1.10 (expand/collapse)
From commit 00ab10de to 00ab10de
0.1.11 (expand/collapse)
From commit 076dff2f to 0241c1f2
0.1.9 (expand/collapse)
From commit 029514b5 to 029514b5
0.1.10 (expand/collapse)
From commit 019b1872 to 05a44cd0
0.1.9 (expand/collapse)
From commit 02cda213 to 02cda213
0.1.10 (expand/collapse)
From commit 001ea3b4 to 05d7fb20
0.1.9 (expand/collapse)
From commit 0115d512 to 0444e926
0.1.10 (expand/collapse)
From commit 0520f7a9 to 003f5a87
0.1.9 (expand/collapse)
From commit 07ba92e7 to 0144849f
0.1.4 (expand/collapse)
From commit 04499628 to 04499628
0.1.9 (expand/collapse)
From commit 0394ce76 to 01e9dfb4
0.1.4 (expand/collapse)
From commit 02fdd384 to 02fdd384
0.1.9 (expand/collapse)
From commit 02b91f93 to 00fb3c0b
0.1.4 (expand/collapse)
From commit 0467a791 to 02ce9456
0.1.3 (expand/collapse)
From commit 05130419 to 020b2047
0.1.2 (expand/collapse)
From commit 00c0c2a7 to 00c0c2a7
0.1.3 (expand/collapse)
From commit 04b39321 to 066db307
0.1.2 (expand/collapse)
From commit 0728fee2 to 0728fee2
0.1.3 (expand/collapse)
From commit 02d0b6e4 to 02c979aa
0.1.2 (expand/collapse)
From commit 0667d67c to 00298c7b
0.1.1 (expand/collapse)
From commit 013aedff to 01c0be6e
0.1.0 (expand/collapse)
From commit 00b63f66 to 005f78e7
0.0.7 (expand/collapse)
From commit 01494efd to 0769fc5b
0.0.6 (expand/collapse)
From commit 0469f92f to 06f59807
0.0.5 (expand/collapse)
From commit 048a7e9d to 048a7e9d
0.0.6 (expand/collapse)
From commit 0312c150 to 075168ca
0.0.5 (expand/collapse)
From commit 02a30bea to 02a30bea
0.0.6 (expand/collapse)
From commit 0242b3c6 to 0242b3c6
0.0.5 (expand/collapse)
From commit 00b1461e to 023464f1
0.0.3 (expand/collapse)
From commit 06c22ac9 to 023f30f0