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
Commits on May 29, 2010
Commits on May 20, 2010
  1. More TH

    committed May 20, 2010
Commits on May 19, 2010
  1. fix

    committed May 19, 2010
  2. update cabal file

    committed May 19, 2010
  3. Fix addtion in integer numbers

    committed May 19, 2010
  4. Add tests

    committed May 19, 2010
  5. * Use type families to do addition of integer numbers

    * Improve documentation
    committed May 19, 2010
  6. Improve documentation

    committed May 19, 2010
  7. Fix bug in Mul

    committed May 19, 2010
  8. Fix bug in subtraction

    committed May 19, 2010
  9. * Improve documentation for T.N.Nat

    * Use type families instead of type class for actual addition and subtraction
    committed May 19, 2010
  10. Type class for division

    committed May 19, 2010