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
- 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 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 haskell