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!
I knew there was a reason we did all that procedural programming!