idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2024-12-21 02:31:50 +03:00
Code Issues Projects Releases Wiki Activity
12194ed0b0
Idris2/bootstrap/idris2_app
History
russoul 12194ed0b0 Revert "Update bootstrap files" 
This reverts commit 906e521a71.
2020-08-25 17:21:39 +03:00
..
idris2.rkt Revert "Update bootstrap files" 2020-08-25 17:21:39 +03:00
idris2.ss Revert "Update bootstrap files" 2020-08-25 17:21:39 +03:00