mirror of
https://github.com/idris-lang/Idris2.git
synced 2024-09-20 01:37:35 +03:00
1f3c557889
Not quite there, but nearly |
||
---|---|---|
.. | ||
idris2sh_app | ||
compile.ss | ||
idris2-boot |