News for hackers. Stuff that matters.
Re:Idris 1.0 by kemiller2002 on Saturday April 01, 2017 @08:46PM (#14015048)
There are other differences too. The syntax is very very close, but how it handles things like evaluation is different. Don't assume that just because they look the same that they are.

There are no comments on this comment yet.