News for hackers. Stuff that matters.

A comment on Try Idris. Parent comment

Re:Try Idris by tel on Monday April 14, 2014 @12:09AM (#7584496)
Do you have a reference on that? I'd love to read it
[ Parent | on HN ]
Re:Try Idris by nmrm on Monday April 14, 2014 @07:07AM (#7585474)
http://goto.ucsd.edu/~ravi/research/oopsla12-djs.pdf
[ Parent | on HN ]
Re:Try Idris by tel on Monday April 14, 2014 @04:11PM (#7588554)
Thanks!
[ Parent | on HN ]