discu
Newsletters
Mentions
Extension
Pricing
Login
Sign Up
Reddit
ATS-0.2.4 released - A programming language with support for dependent types, linear types and theorem proving
http://sourceforge.net/mailarchive/message.php?msg_id=27339419
10 comments
11/4/2011
programming