- 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 programming
Related searches:
Search whole site: site:sourceforge.net
Search title: [ats-lang-users] ATS-0.2.4 released | The ATS PL System
See how to search.