mirror of
https://github.com/edwinb/Idris2-boot.git
synced 2024-12-23 04:42:05 +03:00
082bc5cd54
TT types and values, some text manipulation, basics of Core |
||
---|---|---|
.. | ||
Delayed.idr |