prog

Muh Type Safety

3 2020-10-16 04:07: >>2
Idris2 is bootstrapped in Scheme:
https://raw.githubusercontent.com/idris-lang/Idris2/master/bootstrap/idris2_app/idris2.ss <-- entire Idris program
4: VIP:

do not edit these