on 64571d6 help sign in
project-m36
4 folders, 5 files
ProjectM36/improve error handling for "all but" attributes inversion TutorialD/add “all but” convenience syntax benchmark/add boolean atoms, boolean functions, boolean function restriction test/improve error handling for "all but" attributes inversion .gitignoreignore sandbox DatabaseContext.hsrefactoring to add more expression types LICENSEInitial commit README.markdownfix some typos in README project-m36.cabaladd “all but” convenience syntax