7bbce48Added report pdfsArmando Santos7 years ago 6923995Added lazy and strict reportsArmando Santos7 years ago a78e6dbAdded Report PDFArmando Santos7 years ago c3246d8Added 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!Armando Santos7 years ago d4b69a9Organized app folder. Fixed Normalize type family. Added Spreadsheet example.Armando Santos7 years ago eb22ee6Optimize SelectArmando Santos7 years ago ab2a4daFix Powerset newtype wrapperArmando Santos7 years ago 9b8a345Updated McCarthy's conditionalArmando Santos7 years ago e899b07Updated READMEArmando Santos7 years ago 0574643Small fixArmando Santos7 years ago 2a5955dAdded docs to DistArmando Santos7 years ago 9e8b43cMerge pull request #3 from bolt12/constraintsArmando Santos7 years ago 43fe3c2Added constraint type synonyms to the restArmando Santos7 years ago 43624a6Added constraints type aliases to Matrix.Internal and Matrix.TypeArmando Santos7 years ago 9592019Merge pull request #1 from bolt12/relationArmando Santos7 years ago 2fec7d9Updated READMEArmando Santos7 years ago 6f1b6e5Fixed docsArmando Santos7 years ago 6ec0a6bSmall fixArmando Santos7 years ago 995349aAdded Powerset data type and orphan instances for Bounded and Enum.Armando Santos7 years ago 0856f03Added domain and range functions. Added difunctional property.Armando Santos7 years ago 6a0ea00RestoredArmando Santos7 years ago 2eb21d5Added relational shrinking and overriding. Added relational McCarthy's Conditional.Armando Santos7 years ago 59f3ebcAdded relational division operatorsArmando Santos7 years ago f047a9cAdded power transpose functions / point / pointAp / toBoolArmando Santos7 years ago 0b19c70Added relational currying and (bi-)implicationArmando Santos7 years ago 6bc1803Added Alcuin Puzzle exampleArmando Santos7 years ago 2c74c68Added Enum and Bounded instance to Either.Armando Santos7 years ago 98b1b0dFixed symmetric propertyArmando Santos7 years ago 83b9280Added toRel to Matrix.TypeArmando Santos7 years ago 535d935Added toRelArmando Santos7 years ago 721b24bAdded bijective propertyArmando Santos7 years ago dfbd1d5Small tweaks and fixesArmando Santos7 years ago 2d10e70Updated library structure. Added Relation moduleArmando Santos7 years ago 9d9ba17Update README.mdArmando Santos7 years ago 6c47304Update README.mdArmando Santos7 years ago da66303Update README.mdArmando Santos7 years ago 21a1ca5Update README.mdArmando Santos7 years ago 84912eaUpdate README.mdArmando Santos7 years ago 387611dUpdate README.mdArmando Santos7 years ago c840644Update README.mdArmando Santos7 years ago ce7a957Last polishments before it's publicArmando Santos7 years ago 6fa500dUpdated select's operator typeArmando Santos7 years ago 7c95b00Small tweaks on the Utils/Matrix.Internal/Matrix.Nat/Matrix.Type modules. Added Relation moduleArmando Santos7 years ago bf2cb96Small fixesArmando Santos7 years ago c5fb386Changed modules structure. Added Matrix.TypeArmando Santos7 years ago 00dfd45Updated READMEArmando Santos7 years ago 1ad2e9fImproved 'Natural' type and added 'Dist' pretty printerArmando Santos7 years ago b216857Added NFData instanceArmando Santos7 years ago 2a059dfFixed Eq instanceArmando Santos7 years ago 03e9139Updated 'FromNat' type family and 'FromList' Matrix instances to more efficient onesArmando Santos7 years ago