summaryrefslogtreecommitdiff
path: root/src
AgeCommit message (Expand)Author
2021-01-14Finish AutoChompGreg Brown
2021-01-14Add labelled expressions.•••Restructure project (again). Convert `Cat` and `Alt` from binary to n+2-ary. Greg Brown
2021-01-09Introduce chomp as a procedural macro.•••Add a bunch of tests. Fix chomp and chewed so autochomp compiles. Greg Brown
2021-01-09Make all ast spans optional.Greg Brown
2021-01-08Remove unnecessary fileGreg Brown
2021-01-08Do more restructuring.Greg Brown
2021-01-07Add first steps of AutoChompGreg Brown
2021-01-06Create Chewed, the consumer crate.Greg Brown
2021-01-06Restructure code base to separate compilation phases.Greg Brown
2020-12-31First complete working version.Greg Brown
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.52.0) at 2026-01-26 16:00:59 +0000