app/Refactored Dist module - the package now compiles7 years ago src/Refactored Dist module - the package now compiles7 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.mdUpdate README.md7 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 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