summaryrefslogtreecommitdiff
path: root/src
AgeCommit message (Collapse)Author
2020-12-08Make substitution into a macro.Greg Brown
2020-11-30Change type check infrastructureGreg Brown
2020-11-25Add let statementsGreg Brown
2020-11-25Add substitution.Greg Brown
2020-11-25Change associativity of cat and altGreg Brown
2020-11-25Change syntaxGreg Brown
2020-11-23Improve error messagesGreg Brown
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 11:33:39 +0000