edwinb/Idris2-boot
1
1
Fork 0
mirror of https://github.com/edwinb/Idris2-boot.git synced 2025-01-04 10:45:11 +03:00
Code Issues Projects Releases Wiki Activity
304 Commits 2 Branches 1 Tag 4.2 MiB
6d90b72fe9
Commit Graph

304 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Edwin Brady
992d8dd0f9 Added parser for most basic terms 
Just variables, binders, applications, and basic declarations (data,
type and function definitions)
 2019-03-10 17:56:08 +00:00
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