idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2024-11-11 02:01:36 +03:00
Code Issues Projects Releases Wiki Activity
166 Commits 5 Branches 9 Tags 94 MiB
04d6e5ee68
Commit Graph

3 Commits

Author SHA1 Message Date
Edwin Brady
9cc4cba065 Change executable name 
I think we can be the official Idris2 now
 2020-05-20 13:31:04 +01:00
Kamil Shakirov
b801b97fcc Refactor makefiles 2020-05-19 18:50:47 +06:00
Edwin Brady
dec7dff622 Add libraries 2020-05-18 14:00:08 +01:00