miniblog.
← Back to all posts
May 26, 2020 at 05:24
Idris 2 is self-hosting, faster, compiles to Chez Scheme, and has a bunch of PL design lessons!
Why is Idris 2 so much faster than Idris 1? - Edwin Brady
Related Posts
Feb 16, 2017 at 19:36
The Racket team are looking at using the Chez VM, for higher perf and writing more of Racket in Racket!
Redirecting to Google Groups