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 rscho on Monday May 25, 2020 @04:19PM (#23304528)
He does it on top of scheme. Have a look at

https://mitpress.mit.edu/books/little-typer

[ Parent | on HN ]

There are no comments on this comment yet.