1. 37
  1.  

  2. 14

    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!