ats2-postiats

Statically typed programming language that unifies implementation and formal specification

Current version:
0.2.13

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

Dependencies

ats2-postiats requires the following formula to be installed:

Formula history

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
Nikolaus WittensteinAdd descriptions to all remaining homebrew packages
Show all revisions of this formula