News for hackers. Stuff that matters.

A comment on Idris 1.0. Parent comment

Re:Idris 1.0 by mrkgnao on Saturday April 01, 2017 @09:10PM (#14015128)
I wrote this a while back. You might find it of some use.

https://news.ycombinator.com/item?id=13907573

[ Parent | on HN ]
Re:Idris 1.0 by vram22 on Sunday April 02, 2017 @09:53AM (#14017166)
It was, thanks.
[ Parent | on HN ]