ats2-postiats

Programming language with formal specification features

Current version:
0.3.3

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

Dependencies

ats2-postiats requires the following formula to be installed:

Formula history

Alexander Hamannats2-postiats 0.3.3
Ryan Kingats2-postiats 0.2.13
William Sewellats2-postiats 0.2.11
ilovezfsats2-postiats: build with clang
Dominyk Tillerats2-postiats 0.2.6
Hiroshi Hatakeats2-postiats 0.2.4
Hiroshi Hatakeats2-postiats 0.2.3
Hiroshi Hatakeats2-postiats 0.2.2
Hiroshi Hatakeats2-postiats 0.2.1
Hiroshi Hatakeats2-postiats 0.2.0
Show all revisions of this formula