summaryrefslogtreecommitdiff
path: root/src/CC/Term/Parse.idr
AgeCommit message (Collapse)Author
2023-03-26Add type checking.HEADmasterChloe Brown
Currently, there is Set in Set. Next step is to add universe levels.
2023-03-25Clean-up raw term constructors and parser.Chloe Brown
2023-03-25Extract parsing and evaluation to new modules.Chloe Brown