Permalink
Switch branches/tags
Nothing to show
Commits on Aug 23, 2016
  1. Merge remote-tracking branch 'origin/master'

    # Conflicts:
    #	Data/Category/Limit.hs
    committed Aug 23, 2016
  2. v0.6.2 Fixes for GHC 8.0

    committed Aug 23, 2016
Commits on Jul 19, 2015
  1. Remove brackets

    committed Jul 19, 2015
Commits on Sep 2, 2014
  1. Added the cube category

    committed Sep 2, 2014
Commits on Jun 29, 2013
Commits on Jun 8, 2013
Commits on Jun 5, 2013
Commits on May 27, 2013
Commits on May 8, 2013
Commits on Apr 16, 2013
  1. Merge pull request #1 from bergmark/master

    Remove unused LambdaCase pragma to fix compilation on ghc < 7.6
    committed Apr 16, 2013
Commits on Apr 6, 2013
  1. Added .0 to version number to get Hackage to generate the docs again,…

    … the current docs are generated with a buggy Haddock.
    committed Apr 6, 2013
Commits on Dec 18, 2012
Commits on Dec 4, 2012
Commits on Dec 3, 2012
  1. A "combinatorial" approach to building categories.

    Void, Unit, :++:, :**:, :>>: and Fix
    committed Dec 3, 2012
Commits on Dec 1, 2012
  1. Replaced all instances of (~>) with k.

    To make it work in GHC 7.6.
    committed Dec 1, 2012
Commits on Jul 9, 2012
Commits on Jun 29, 2012
  1. Fixes for GHC 7.4.1

    committed Jun 29, 2012
  2. Adjunctions can be lifted to functor categories.

    Either by pre- or post-composition. From the Kan Extensions paper by
    Ralf Hinze.
    committed Jun 29, 2012
Commits on Apr 9, 2012
Commits on Mar 28, 2012
Commits on Dec 23, 2011
Commits on Aug 21, 2011
Commits on Aug 18, 2011
Commits on Aug 10, 2011
  1. Fix for GHC 7.2

    committed Aug 10, 2011
Commits on Aug 7, 2011
  1. Remove base dependency.

    committed Aug 7, 2011
Commits on Mar 6, 2011
  1. Shifted the variance of Yoneda again.

    Presheaves in their own module.
    Some renaming.
    committed Mar 6, 2011
Commits on Mar 5, 2011
  1. More documentation.

    committed Mar 5, 2011