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 c97679dAdd minimal pragmas.Paweł Nowak12 years ago 67c1554Add category instances for ReifiedSemiIso'.Paweł Nowak12 years ago f0d5d26Moves classes to Control.Category.Structures.Paweł Nowak12 years ago 1dc6707My God, it's full of arrows!Paweł Nowak12 years ago 4cc50cdAdd WrappedCovariant.Paweł Nowak12 years ago 0e68b49Reintroduce 'prod'. Added laws for SemiIsoApply and improved comments.Paweł Nowak12 years ago faf5e0bRevert "Add SIMonadTrans."Paweł Nowak12 years ago 68eee5eAdd SIMonadTrans.Paweł Nowak12 years ago a7986ccReverse 'exact' to better match sipure and common use cases. Add sireplicate_ and sisequence_.Paweł Nowak12 years ago