idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2024-12-24 12:14:26 +03:00
Code Issues Projects Releases Wiki Activity
3,156 Commits 6 Branches 9 Tags 115 MiB
304c29ed79
Commit Graph

3156 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Edwin Brady
a941116b2f First working version! 
This is capable of building itself, given the right libraries. Next
step, a build system...
 2020-05-18 00:24:37 +01:00
Edwin Brady
14d480b971 Everything but the IDE protocol 2020-05-17 15:56:45 +01:00
Edwin Brady
ea41bb9abe Ported up to Idris.ModTree 2020-05-17 14:26:04 +01:00
Edwin Brady
d9903d5ba6 Done up to ProcessDecls 2020-05-17 02:03:57 +01:00
Edwin Brady
1fd92f5518 Checking up to TTImp.Elab.Term 2020-05-17 01:20:53 +01:00
Edwin Brady
6838f4ae1f Add to Core.TT 2020-05-16 19:42:48 +01:00