summaryrefslogtreecommitdiff
path: root/src/ast/mod.rs
AgeCommit message (Expand)Author
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 17:04:42 +0000