summaryrefslogtreecommitdiff
path: root/src/ast
AgeCommit message (Collapse)Author
2020-11-25Add substitution.Greg 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-18Add type checkingGreg Brown
2020-11-18Convert concrete to abstract syntax treeGreg Brown
generated by cgit v1.2.3 (git 2.49.0) at 2025-04-30 21:07:32 +0000