summaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
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