on master help sign in
eea6231Fixed pretty printArmando Santos 4ec595bMerge pull request #15 from bolt12/redundantArmando Santos cf35b19CleanupArmando Santos c3f6ef8Updated gitignoreArmando Santos e65fcb0Update README.mdArmando Santos 7805fd2Bumped base version boundsArmando Santos 7784efbMerge pull request #17 from bolt12/repo-refactorArmando Santos 3958204Fixed travis CIArmando Santos 6fa2501Fixed travis CIArmando Santos 68cbe58Retrigger CI; Small suggestions of hlintArmando Santos 4cc1c1eRefactored repository structure (with the help of summoner)Armando Santos 88f93c7Removed redundant type familiesArmando Santos 9a79218Updated READMEArmando Santos 10f021aMerge branch 'master' of https://github.com/bolt12/laopArmando Santos ceee0a2Simplified overlappable instances in FromLists type classArmando Santos cbe09f5Merge pull request #12 from ilyakooo0/rows-and-columnsArmando Santos 47340dbAdded inefficient row and column implementationsiko 87fd633Update READMEArmando Santos 83a3162Merge branch 'master' of https://github.com/bolt12/laopArmando Santos c115295Removed Empty constructorArmando Santos a3aa4a2Simplified type constraints aliasesArmando Santos 29b3c89Update README.mdArmando Santos 1e13cbaadded laop.cabalArmando 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