• 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

• 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
• Linearity and Erasure in Idris 2 https://www.type-driven.org.uk/edwinb/linearity-and-erasure-in-idris-2.html 19 comments 10/1/2020 programming