Commit graph

1 commit

Author SHA1 Message Date
Li-Wen Hsu
f5c7c99d19 Add ats 0.2.5, a language with a type system rooted in the Applied Type
System.

PR:		ports/161575
Submitted by:	Jyun-Yan You <jyyou@cs.nctu.edu.tw>
2011-10-14 17:00:39 +00:00