1 result

• 1programming
• 1performance
• 1idris

1. Why is Idris 2 so much faster than Idris 1?

   www.type-driven.org.uk

   • idris
   • performance
   • programming