mirror of
https://github.com/edwinb/Idris2-boot.git
synced 2024-08-17 03:40:33 +03:00
It's just easier to deal with the memory management! But we should do something more flexible here later. |
||
---|---|---|
.. | ||
ideMode001 | ||
ideMode002 | ||
ideMode003 |