app/Small fix7 years ago src/Small fix7 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.shUpdated McCarthy's conditional7 years ago laop-0.1.0.0-docs.tar.gzAdded relational shrinking and overriding. Added relational McCarthy's Conditional.7 years ago package.yamlAdded Generic to Natural. Added StrictData Extension to Matrix.Internal (it's faster!) Added Rewrite rules for matrix composition (WIP) Good first draft of benchmarks comparing 'select' with martin erwig's enconding!7 years ago report-lazy.htmlAdded lazy and strict reports7 years ago report-lazy.pdfAdded report pdfs7 years ago report-strict.htmlAdded lazy and strict reports7 years ago report-strict.pdfAdded report pdfs7 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