Re:Idris 1.0
by snaky on Saturday April 01, 2017 @10:16AM
(#14012211)
Being a C++ programmer, you would like the ATS programming language https://bluishcoder.co.nz/tags/ats/index.html
[ Parent
| on HN ]
Re:Idris 1.0
by Buttons840 on Saturday April 01, 2017 @08:25PM
(#14014976)
There seem to be very few resources for learning ATS. How would you suggest learning it?