discu
Newsletters
Mentions
Extension
Pricing
Login
Sign Up
Hacker News
ATS: a dependently-typed systems programming language?
http://www.ats-lang.org/
5 comments
11/12/2011