git.iko.soy/laop
on alternative help sign in
0991eccRefactored Dist module - the package now compilesArmando Santos d2fbcb5Refactored Alternative Internal module and Type moduleArmando Santos 033db42Added Alternative Internal file with fully type safe matrix constructionArmando Santos 5261638Fixed benchmarksArmando Santos 512c5c7Merge pull request #8 from bolt12/categoryArmando Santos dcfb97cEdit package.yamlArmando Santos 8c5f08eMinor changeArmando Santos 1da55a0Added constrained Category class!Armando Santos 1a819ddFixed matrixBuilderArmando Santos 77aae98Added matrixBuilder that constructs matrices with a function that operates with arbitrary data typesArmando Santos e4dbb8fFixed projectionsArmando Santos b14d465Merge pull request #6 from bolt12/renamingArmando Santos f888838Added (.|) and (./)Armando Santos 1a1cf28Renamed abides and khatriArmando Santos 399c102Renamed:Armando Santos 63abc15Small fixArmando Santos ecee26dDelete report-strict.pdfArmando Santos 089e42eDelete report-lazy.pdfArmando Santos 5b6bb3aDelete report-strict.htmlArmando Santos 1c212cfDelete report-lazy.htmlArmando Santos 1dab2f7Added zipWithM; Refactored Num instance and Spreadsheet exampleArmando Santos 28f7b16Update README.mdArmando Santos 7f7796eAdded bimap. Fixed instancesArmando Santos 74e48a5Merge pull request #5 from bolt12/selectArmando Santos a69c688Small fixArmando Santos 11066a8Fixed prettyPrinterArmando Santos 47cfd81Added branchD and ifD to Dist. Rewrite Matrix Num instance to pattern match on the abide law (it's more efficient). Cleaned constraints on Relation module.Armando Santos baed7eeSmall tweakArmando Santos 7bbce48Added report pdfsArmando Santos 6923995Added lazy and strict reportsArmando Santos a78e6dbAdded Report PDFArmando Santos 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 Santos d4b69a9Organized app folder. Fixed Normalize type family. Added Spreadsheet example.Armando Santos eb22ee6Optimize SelectArmando Santos ab2a4daFix Powerset newtype wrapperArmando Santos 9b8a345Updated McCarthy's conditionalArmando Santos e899b07Updated READMEArmando Santos 0574643Small fixArmando Santos 2a5955dAdded docs to DistArmando Santos 9e8b43cMerge pull request #3 from bolt12/constraintsArmando Santos 43fe3c2Added constraint type synonyms to the restArmando Santos 43624a6Added constraints type aliases to Matrix.Internal and Matrix.TypeArmando Santos 9592019Merge pull request #1 from bolt12/relationArmando Santos 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