summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2021-01-14Add labelled expressions.Greg Brown
2021-01-09Introduce chomp as a procedural macro.Greg Brown
2021-01-09Make all ast spans optional.Greg Brown
2021-01-08Remove unnecessary fileGreg Brown
2021-01-08Minor fix-ups to AutoChompGreg Brown
2021-01-08Add positions to chewed errors.Greg 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
2020-10-22Initial commitGreg Brown