Permalink
Commits on Nov 15, 2016
  1. Merge pull request #10 from phadej/lower-fixes

    Lower fixes
    committed on GitHub Nov 15, 2016
  2. Merge pull request #8 from cblp/patch-1

    typo
    committed on GitHub Nov 15, 2016
Commits on Jul 13, 2016
  1. Make `lower` and friends monokinded, so they work.

    It's better to have something, even we cannot have them as general as
    wanted.
    phadej committed Jul 13, 2016
  2. Add equivalence with :~:

    phadej committed Jul 13, 2016
Commits on Jun 3, 2016
  1. typo

    cblp committed Jun 3, 2016
  2. Merge pull request #7 from jbgi/fix-typo

    Fix typo. s/substite/substitute
    committed Jun 3, 2016
Commits on Jun 2, 2016
  1. Fix typo. s/substite/substitute

    jbgi committed Jun 2, 2016
Commits on Jan 17, 2016
  1. test on ghc 8

    committed Jan 17, 2016
  2. Trustworthy can die in a fire

    committed Jan 17, 2016
Commits on Aug 9, 2015
  1. fix trailing ) [ci skip]

    committed Aug 9, 2015
  2. hackage shield

    committed Aug 9, 2015
Commits on May 15, 2015
  1. allow semigroupoids 5

    committed May 15, 2015
Commits on Jun 1, 2014
  1. version bump

    committed Jun 1, 2014
  2. drop purported 7.0.4 support

    committed Jun 1, 2014
  3. Work around lack of PolyKinds for Category in GHC 7.6 by using subst …

    …and refl not (.) and id
    committed Jun 1, 2014
  4. drop $OPTS

    committed Jun 1, 2014
Commits on May 20, 2014
  1. move change to new version

    committed May 20, 2014
  2. Merge pull request #5 from bens/master

    Kind polymorphic :=
    committed May 20, 2014
  3. Kind polymorphic :=

    Ben Sinclair committed May 20, 2014
Commits on Mar 13, 2014
Commits on Oct 13, 2013
  1. CHANGELOG for 4.0

    committed Oct 13, 2013
Commits on Jun 20, 2013
  1. Trustworthiness is important

    committed Jun 20, 2013
Commits on Apr 8, 2013
  1. CHANGELOG

    committed Apr 8, 2013
  2. version bump

    committed Apr 8, 2013
  3. Merge pull request #3 from np/fix-ghc7.6

    Disable TypeFamilies for GHC >= 7.6 (issue 2)
    committed Apr 8, 2013
Commits on Jan 6, 2013
Commits on Jul 5, 2012
  1. 3.0

    committed Jul 5, 2012
Commits on May 10, 2012
  1. twiddling

    committed May 10, 2012
  2. travis ci & bugtracker

    committed May 10, 2012
Commits on May 8, 2012
  1. removed buggy flags, dep bump

    committed May 8, 2012