1. 37
    Why is Idris 2 so much faster than Idris 1? lisp performance type-driven.org.uk
    mseri avatar via mseri 6 months ago | cached | 1 comment

  1.  

  2. 14
    leeg avatar leeg 6 months ago | link

    Idris 2, on the other hand, stores metavariables globally, in the mutable global context

    I knew there was a reason we did all that procedural programming!