1. 38
    Why is Idris 2 so much faster than Idris 1? lisp performance type-driven.org.uk
    mseri avatar via mseri 2 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  1. 14
    inactive-user avatar inactive-user 2 years 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!