Permalink
Commits on Apr 23, 2012
  1. Fix some warnings

    committed Apr 23, 2012
  2. 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 26, 2010
  2. Use type family

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

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

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

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

    * Fix tryth tables
    committed Jun 22, 2010
Commits on Jun 21, 2010
Commits on May 29, 2010