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 mokus on Monday May 25, 2020 @08:35PM (#23306314)
I’ve done it in Agda - it’s not even hard. The naive definitions are accepted without issue.

https://github.com/mokus0/junkbox/blob/master/Agda/ack.agda

[ Parent | on HN ]

There are no comments on this comment yet.