idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2024-12-18 00:31:57 +03:00
Code Issues Projects Releases Wiki Activity
163 Commits 6 Branches 9 Tags 113 MiB
840e020d8c
Commit Graph

2 Commits

Author SHA1 Message Date
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
Edwin Brady
b94ff558f3 Put idris2.ss back in the right place 2020-05-20 14:23:26 +01:00