mirror of
https://github.com/edwinb/Idris2-boot.git
synced 2024-10-05 20:07:33 +03:00
24fed4feea
From here on, this repo is intended only as a bootstrapping step for the self hosted Idris 2. It will - as long as possible - be kept up to date enough that it can build Idris 2, but won't be maintained beyond that. |
||
---|---|---|
.. | ||
Algebra | ||
Compiler | ||
Control | ||
Core | ||
Data | ||
Idris | ||
Parser | ||
Text | ||
TTImp | ||
Utils | ||
Yaffle | ||
Algebra.idr | ||
Makefile |