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

  1.  

  2. 14
    inactive-user avatar inactive-user 1 year 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!