edwinb/Idris2-boot
1
1
Fork 0
mirror of https://github.com/edwinb/Idris2-boot.git synced 2024-11-27 10:41:08 +03:00
Code Issues Projects Releases Wiki Activity
1,271 Commits 2 Branches 1 Tag 4.2 MiB
fa92951af0
Commit Graph

5 Commits

Author SHA1 Message Date
Edwin Brady
e611161ec4 Update CONTRIBUTORS 2020-05-19 20:09:59 +01:00
Edwin Brady
5285b36a4f Update CHANGELOG and CONTRIBUTORS 
Trying to keep both up to date - apologies if I'm missed anyone. I got
the list from the git logs, but feel free to edit yourself in or out as
you prefer.
 2020-05-13 13:12:41 +01:00
Edwin Brady
59503712f3 Add --dumpcases option 
Output goes in the same directory as the generated code (so
build/exec/<appname>_app for the Chez back end)
 2020-04-02 16:11:10 +01:00
Edwin Brady
4f9624a76c Update CONTRIBUTORS 2020-03-31 18:20:46 +01:00
Edwin Brady
7bbd26618e Credit where it's due! 
Add a CONTRIBUTORS file. This is generated from the git logs.
 2020-03-31 16:21:04 +01:00