Database/test compilation checkpoint11 years ago ProjectM36/fix Win32 support10 years ago TutorialD/#21 add help and version commands to tutd10 years ago benchmark/fix some bigrel compilation issues - some functions were moved around11 years ago docs/Fix parameter name in tutd client11 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.markdown10 years ago project-m36.cabal#21 add help and version commands to tutd10 years ago stack.yamlAdds stack.yaml to build using the stack tool.11 years ago