app/Added Alcuin Puzzle example7 years ago src/Fixed docs7 years ago test/Added LAoP matrix type safe induction definition - Nat and Type dimensions / Utils / Dist7 years ago .ghc.environment.x86_64-linux-8.6.5Added relational shrinking and overriding. Added relational McCarthy's Conditional.7 years ago .gitignoreAdded LAoP matrix type safe induction definition - Nat and Type dimensions / Utils / Dist7 years ago ChangeLog.mdAdded LAoP matrix type safe induction definition - Nat and Type dimensions / Utils / Dist7 years ago LICENSEAdded LAoP matrix type safe induction definition - Nat and Type dimensions / Utils / Dist7 years ago README.mdUpdated README7 years ago Setup.hsAdded LAoP matrix type safe induction definition - Nat and Type dimensions / Utils / Dist7 years ago hackage.shAdded relational shrinking and overriding. Added relational McCarthy's Conditional.7 years ago laop-0.1.0.0-docs.tar.gzAdded relational shrinking and overriding. Added relational McCarthy's Conditional.7 years ago package.yamlUpdated README7 years ago stack.yamlAdded LAoP matrix type safe induction definition - Nat and Type dimensions / Utils / Dist7 years ago stack.yaml.lockAdded LAoP matrix type safe induction definition - Nat and Type dimensions / Utils / Dist7 years ago