Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
branch: master
Commits on Feb 19, 2015
  1. Merge pull request #5 from TomMD/patch-1

    authored
    Remove duplicate haddock markup
  2. added build status to README.md

    authored
  3. added travis config

    authored
Commits on Jul 6, 2014
  1. Thomas M. DuBuisson

    Remove duplicate haddock markup

    TomMD authored
    I suspect this was just a copy and paste mistake.
Commits on Jun 24, 2014
  1. bumped version number and added GHC version guards to enable PolyKinds

    authored
    (requires 7.8+ in order to be able to generate proper typeable instances)
  2. Added PolyKinds pragma to allow GEq and GCompare instances for things…

    Kenny Foner authored
    … of kind other than (* -> *).
Commits on Mar 7, 2014
  1. update for GHC 7.8

    authored
Commits on Jun 24, 2013
Commits on Nov 2, 2011
  1. Adding more haddock comments

    authored
Commits on Nov 1, 2011
Commits on Aug 10, 2011
  1. Updated for GHC 7.2

    authored
Commits on Jul 13, 2011
  1. Fixed build for older GHCs. In the process had to remove 'maybeEq', s…

    authored
    …o bumping version to 0.2.
  2. Minor change to README

    authored
Commits on Jul 12, 2011
  1. Minor rewording in README

    authored
  2. Added `defaultEq` and `defaultNeq` functions in Data.GADT.Compare

    authored
    Conveniences for implementing Eq for types which are already instances of GEq
Commits on Jul 11, 2011
  1. Add gitignore file

    authored
Commits on Mar 18, 2011
  1. Added several new instances

    authored
Commits on Mar 17, 2011
  1. Merge branch 'master' of github.com:mokus0/dependent-sum

    authored
    Conflicts:
    	src/Data/Dependent/Sum.hs
    	src/Data/GADT/Compare.hs
Commits on Feb 15, 2011
  1. Improving comments

    james.cook authored
Commits on Feb 9, 2011
Commits on Nov 17, 2010
  1. made DSum strict in its tag

    James Cook authored
  2. moved source-repository section in cabal file

    James Cook authored
  3. preparing for release

    James Cook authored
  4. Initial import

    James Cook authored
Something went wrong with that request. Please try again.