Comment on ATS: a dependently-typed systems programming language?Comments−riffraff14ythere are many interesting posts about ATS on Chris Double's bloghttp://www.bluishcoder.co.nz/tags/ats/
Comments
there are many interesting posts about ATS on Chris Double's blog
http://www.bluishcoder.co.nz/tags/ats/