If you also didn't know Idris 2 was out, check here [1] for what's new. [1]. https://idris2.readthedocs.io/en/latest/updates/updates.html#sect-new-features htt

If you also didn't know Idris 2 was out, check here [1] for what's new. [1]. https://idris2.readthedocs.io/en/latest/updates/updates.html#sect-new-features https://idris2.readthedocs.io/en/latest/updates/updates.html...