ats2-postiats

Programming language with formal specification features
http://www.ats-lang.org/

Current version
0.3.6

ats2-postiats requires the following formula to be installed:
gmp 6.1.2 GNU multiple precision arithmetic library

Formula history

ilovezfs ats2-postiats 0.3.6
Alexander Hamann ats2-postiats 0.3.3
Ryan King ats2-postiats 0.2.13
William Sewell ats2-postiats 0.2.11
ilovezfs ats2-postiats: build with clang
Dominyk Tiller ats2-postiats 0.2.6
Hiroshi Hatake ats2-postiats 0.2.4
Hiroshi Hatake ats2-postiats 0.2.3
Hiroshi Hatake ats2-postiats 0.2.2
Hiroshi Hatake ats2-postiats 0.2.1
Show all revisions of this formula