ats2-postiats

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

Current version
0.3.10

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

Recent formula history

ilovezfs ats2-postiats 0.3.10
ilovezfs ats2-postiats 0.3.9
ilovezfs ats2-postiats 0.3.8
ilovezfs Use “squiggly” heredocs.
ilovezfs ats2-postiats 0.3.7

Formula code at GitHub