Idris2/bootstrap/idris2_app/idris2.ss
Edwin Brady de7dff19b0 Update Scheme bootstrap files
Ready for a 0.2.0 release
2020-05-25 14:21:53 +01:00

9.6 MiB
Executable File

The file is too large to be shown. View Raw