git.iko.soy/laop
on relation help sign in
2fec7d9Updated READMEArmando Santos 6f1b6e5Fixed docsArmando Santos 6ec0a6bSmall fixArmando Santos 995349aAdded Powerset data type and orphan instances for Bounded and Enum.Armando Santos 0856f03Added domain and range functions. Added difunctional property.Armando Santos 6a0ea00RestoredArmando Santos 2eb21d5Added relational shrinking and overriding. Added relational McCarthy's Conditional.Armando Santos 59f3ebcAdded relational division operatorsArmando Santos f047a9cAdded power transpose functions / point / pointAp / toBoolArmando Santos 0b19c70Added relational currying and (bi-)implicationArmando Santos 6bc1803Added Alcuin Puzzle exampleArmando Santos 2c74c68Added Enum and Bounded instance to Either.Armando Santos 98b1b0dFixed symmetric propertyArmando Santos 83b9280Added toRel to Matrix.TypeArmando Santos 535d935Added toRelArmando Santos 721b24bAdded bijective propertyArmando Santos dfbd1d5Small tweaks and fixesArmando Santos 2d10e70Updated library structure. Added Relation moduleArmando Santos 9d9ba17Update README.mdArmando Santos 6c47304Update README.mdArmando Santos da66303Update README.mdArmando Santos 21a1ca5Update README.mdArmando Santos 84912eaUpdate README.mdArmando Santos 387611dUpdate README.mdArmando Santos c840644Update README.mdArmando Santos ce7a957Last polishments before it's publicArmando Santos 6fa500dUpdated select's operator typeArmando Santos 7c95b00Small tweaks on the Utils/Matrix.Internal/Matrix.Nat/Matrix.Type modules. Added Relation moduleArmando Santos bf2cb96Small fixesArmando Santos c5fb386Changed modules structure. Added Matrix.TypeArmando Santos 00dfd45Updated READMEArmando Santos 1ad2e9fImproved 'Natural' type and added 'Dist' pretty printerArmando Santos b216857Added NFData instanceArmando Santos 2a059dfFixed Eq instanceArmando Santos 03e9139Updated 'FromNat' type family and 'FromList' Matrix instances to more efficient onesArmando Santos c0b17ccMain with mmm benchmarkArmando Santos b3fbc73Added documentationArmando Santos 62d6018Small fixesArmando Santos 9d59e46Pretty Print fixedArmando Santos 321b1aeSmall fixesArmando Santos d6c0c5dSmall fixes. Added fromF'. Fixed mccarthys conditionalArmando Santos 43866d4prettyPrint now prettierArmando Santos ad2d39cprettyPrint now prettierArmando Santos a010594Minor changesArmando Santos 50d12b6Docs updatedArmando Santos d9a4707Added LAoP matrix type safe induction definition - Nat and Type dimensions / Utils / DistArmando Santos