News for hackers. Stuff that matters.

A comment on Why is Idris 2 so much faster than Idris 1?. Parent comment

Re:Why is Idris 2 so much faster than Idris 1? by contravariant on Monday May 25, 2020 @07:22PM (#23305925)
With no restriction on what kind of dependent types are allowed the type system should at least be Turing complete.
[ Parent | on HN ]

There are no comments on this comment yet.