idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2024-12-17 16:21:46 +03:00
Code Issues Projects Releases Wiki Activity
824b661cd5
Idris2/bootstrap/idris2_app
History
Edwin Brady 824b661cd5 Update bootstrap scheme 
The library code uses a new feature, and it needs to be able to build
with the bootstrap code (though, fortunately, not with idris2-boot)
2020-05-22 18:06:04 +01:00
..
idris2.ss Update bootstrap scheme 2020-05-22 18:06:04 +01:00