app/Simplified type constraints aliases6 years ago src/Merge branch 'master' of https://github.com/bolt12/laop6 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 .ghc.environment.x86_64-linux-8.8.3Simplified type constraints aliases6 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.mdUpdate README6 years ago Setup.hsAdded LAoP matrix type safe induction definition - Nat and Type dimensions / Utils / Dist7 years ago hackage.shUpdated McCarthy's conditional7 years ago laop.cabaladded laop.cabal7 years ago package.yamlEdit package.yaml7 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