Database/test compilation checkpoint11 years ago ProjectM36/transaction graph merge compilation checkpoint10 years ago TutorialD/transaction graph merge compilation checkpoint10 years ago benchmark/fix some bigrel compilation issues - some functions were moved around11 years ago docs/add merge notes document10 years ago examples/update examples due to refactoring11 years ago scripts/update tutd tutorial with lowercase Date relvars -uppercase is used to indicate a type or data constructor, as in Haskell itself11 years ago test/add relation variable summary RO context operator11 years ago .gitignoreignore .stack-work11 years ago LICENSEInitial commit12 years ago README.markdownaddresses #14 which some links to related projects and suggested reading in the main README.markdown11 years ago project-m36.cabalrequire minimum uuid package version due to known issues (duplicate uuids)10 years ago stack.yamlAdds stack.yaml to build using the stack tool.11 years ago