Re:Towards Idris Version 1.0
by hood_syntax on Wednesday November 30, 2016 @01:19PM
(#13073167)
Thanks for the writeup, broke it down nicely
[ Parent
| on HN ]
There are no comments on this comment yet.