on 6a7ede4 help sign in
project-m36
4 folders, 5 files
ProjectM36/add missing AttributeNames source TutorialD/add “all but” convenience syntax benchmark/add boolean atoms, boolean functions, boolean function restriction test/add “all but” convenience syntax .gitignoreignore sandbox DatabaseContext.hsrefactoring to add more expression types LICENSEInitial commit README.markdownfix some typos in README project-m36.cabaladd “all but” convenience syntax