ats2-postiats

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

Current version
0.3.9

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

Recent formula history

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

Formula code at GitHub