Why is Idris 2 so much faster than Idris 1? - Edwin Brady - discu.eu

Hacker News

Why is Idris 2 so much faster than Idris 1? https://www.type-driven.org.uk/edwinb/why-is-idris-2-so-much-faster-than-idris-1.html 81 comments 25/5/2020

Reddit

Why is Idris 2 so much faster than Idris 1? https://www.type-driven.org.uk/edwinb/why-is-idris-2-so-much-faster-than-idris-1.html 57 comments 25/5/2020 programming
Why is Idris 2 so much faster than Idris 1? https://www.type-driven.org.uk/edwinb/why-is-idris-2-so-much-faster-than-idris-1.html 9 comments 25/5/2020 haskell

Linking pages

GitHub - mazeppa-dev/mazeppa: A modern supercompiler for call-by-value functional languages https://github.com/mazeppa-dev/mazeppa 27 comments

Would you like to stay up to date with Haskell? Checkout Haskell Weekly.

Related searches:

Search whole site: site:type-driven.org.uk

Search title: Why is Idris 2 so much faster than Idris 1? - Edwin Brady

See how to search.

Submit link to: