edwinb/Idris2-boot
1
1
Fork 0
mirror of https://github.com/edwinb/Idris2-boot.git synced 2024-12-19 10:51:35 +03:00
Code Issues Projects Releases Wiki Activity
353 Commits 2 Branches 1 Tag 4.2 MiB
775c67452a
Commit Graph

353 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Edwin Brady
e03a2ba4b5 Added context for global names, store in an array 2019-03-10 15:14:38 +00:00
Edwin Brady
77e634cd33 Add specialised maps for Int and Name 
The repetition is unfortunate, but worth it for avoiding the overhead of
passing an Ord dictionary around
 2019-03-07 23:29:03 +00:00
Edwin Brady
082bc5cd54 Initial structure 
TT types and values, some text manipulation, basics of Core
 2019-03-07 23:04:55 +00:00