News for hackers. Stuff that matters.

A comment on Idris 1.0. Parent comment

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?
[ Parent | on HN ]

There are no comments on this comment yet.