yellowsquid/chomp.git - [no description]

Age	Commit message (Expand)	Author
2020-12-08	Make substitution into a macro.	Greg Brown
2020-11-30	Change type check infrastructure	Greg Brown
2020-11-25	Add let statements	Greg Brown
2020-11-25	Add substitution.	Greg Brown
2020-11-25	Change associativity of cat and alt	Greg Brown
2020-11-25	Change syntax	Greg Brown
2020-11-23	Improve error messages	Greg Brown
2020-11-23	Introduce guarded variables	Greg Brown
2020-11-21	Add code generation	Greg Brown
2020-11-20	Implement context traits for Vec	Greg Brown
2020-11-20	Precompute properties of well-typed terms	Greg Brown
2020-11-19	Switch typing to use traits	Greg Brown
2020-11-19	Switch parsing core to syn	Greg Brown
2020-11-18	Add type checking	Greg Brown
2020-11-18	Convert concrete to abstract syntax tree	Greg Brown
2020-11-09	Rename Seq to Cat	Greg Brown
2020-11-09	Parser with some tests	Greg Brown
2020-10-22	Initial commit	Greg Brown