Skip to content
Commits on Apr 23, 2012
  1. Expose method for IntT type class and fix tests

    That what you get for for forgetting to run tests before uploading package
    committed Apr 23, 2012
  2. Fix some warnings

    committed Apr 23, 2012
  3. Fix build for GHC7.4

    committed Apr 23, 2012
Commits on Mar 10, 2011
  1. Bump version to 0.1.0.2

    committed Mar 10, 2011
  2. @bjornbm

    Fix repo name in .cabal.

    bjornbm committed Mar 10, 2011
Commits on Mar 9, 2011
  1. Same for integers

    committed Mar 9, 2011
  2. Workaround for GHC bug #4364

    committed Mar 9, 2011
Commits on Jul 31, 2010
  1. Rename package to type-level-numbers

    --HG--
    rename : type-numbers.cabal => type-level-numbers.cabal
    committed Jul 31, 2010
  2. Add Show instance for Witness

    committed Jul 31, 2010
  3. Remove TypeInt type class

    committed Jul 31, 2010
  4. Do not use TypeInt type class

    committed Jul 31, 2010
  5. * Do not use ToInt type class

    * Add Reify instances
    committed Jul 31, 2010
  6. Add values

    committed Jul 31, 2010
  7. fix comment

    committed Jul 31, 2010
  8. Finis rename

    committed Jul 31, 2010
  9. Rename Types to TypeLevel to follow type-level-natural-numbers package

    --HG--
    rename : Types/Boolean.hs => TypeLevel/Boolean.hs
    rename : Types/Number/Classes.hs => TypeLevel/Number/Classes.hs
    rename : Types/Number/Int.hs => TypeLevel/Number/Int.hs
    rename : Types/Number/Int/Types.hs => TypeLevel/Number/Int/Types.hs
    rename : Types/Number/Nat.hs => TypeLevel/Number/Nat.hs
    rename : Types/Number/Nat/Num.hs => TypeLevel/Number/Nat/Num.hs
    rename : Types/Number/Nat/Types.hs => TypeLevel/Number/Nat/Types.hs
    rename : Types/Util.hs => TypeLevel/Util.hs
    committed Jul 31, 2010
Commits on Jul 27, 2010
  1. Update doc on comparison

    committed Jul 27, 2010
Commits on Jul 26, 2010
  1. Fix compilation

    committed Jul 27, 2010
  2. Use type family

    committed Jul 27, 2010
  3. Use closed evaluation for Add'

    committed Jul 27, 2010
Commits on Jun 23, 2010
  1. Small doc fix

    committed Jun 24, 2010
Commits on Jun 22, 2010
  1. Improve docs in cabal file

    committed Jun 23, 2010
  2. * Convert booleans to type families

    * Fix tryth tables
    committed Jun 23, 2010
Commits on Jun 21, 2010
Something went wrong with that request. Please try again.