idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2024-11-24 06:52:19 +03:00
Code Issues Projects Releases Wiki Activity

Update bootstrap scheme for release

Browse Source
This commit is contained in:
Edwin Brady 2020-08-16 12:33:11 +01:00
parent 0d81e3b59c
commit dc9637aaa0
3 changed files with 12648 additions and 11860 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
Release/CHECKLIST Normal file
View File

@ -0,0 +1,5 @@
[ ] Change version number (MAJOR, MINOR, PATCH) in Makefile
[ ] Change version numbers in doc listings
[ ] Update bootstrap chez and racket
[ ] Tag on github with version number (in the form vX.Y.Z)
[ ] Run release script

12063
bootstrap/idris2_app/idris2.rkt
View File

File diff suppressed because one or more lines are too long

12440
bootstrap/idris2_app/idris2.ss
View File

File diff suppressed because one or more lines are too long