de16c6dTransition to optics (#6)iko3 months ago 74954e5Fixed ci (?) (#5)iko7 years ago c39adc7Fixed weeder (#4)iko7 years ago f547bcaAdded github actions weeder (#3)iko7 years ago d57c987Added stack (#2)iko7 years ago 3344a29Tuple iso (#1)iko7 years ago d394ff3Update haskell.ymliko7 years ago 69a43f4Update haskell.ymliko7 years ago 6e699adUpdate haskell.ymliko7 years ago a66e5fbAdded Github Actionsiko7 years ago 993db9cMerge pull request #1 from siddharthist/ghc843Pavel Christof8 years ago 9d4488fMore specific bounds on baseLangston Barrett8 years ago f4b98b1Add Travis CI configurationLangston Barrett8 years ago a19adc5Remove dependency on HList (via morphed) to fix compilationLangston Barrett8 years ago 689792eFix a subtle bug in the implementation of (+++) and (***) for dual categories.Paweł Nowak12 years ago 49e56e3Add instances for Dual categories.Paweł Nowak12 years ago 8a6f530Implement Products and Coproducts for (->).Paweł Nowak12 years ago 8e22dabAdd 'sibind' and reversed arrow operators.Paweł Nowak12 years ago 4a49f7bRename "CategoryTrans" to "CatTrans".Paweł Nowak12 years ago 0128789Change description.Paweł Nowak12 years ago 23f67c0Documentation.Paweł Nowak12 years ago 98d7090Updated description.Paweł Nowak12 years ago 94f0a75Add comment, remove (~$/) and (~$~) for clarity.Paweł Nowak12 years ago