summaryrefslogtreecommitdiff
path: root/src
AgeCommit message (Collapse)Author
2020-11-23Introduce guarded variablesGreg Brown
2020-11-21Add code generationGreg Brown
2020-11-20Implement context traits for VecGreg Brown
2020-11-20Precompute properties of well-typed termsGreg Brown
2020-11-19Switch typing to use traitsGreg Brown
2020-11-19Switch parsing core to synGreg Brown
2020-11-18Add type checkingGreg Brown
2020-11-18Convert concrete to abstract syntax treeGreg Brown
2020-11-09Rename Seq to CatGreg Brown
2020-11-09Parser with some testsGreg Brown
generated by cgit v1.2.3 (git 2.49.0) at 2025-04-30 20:10:23 +0000