Skip to content
Commits on Jul 31, 2010
  1. Remove TypeInt type class

    committed
  2. Do not use TypeInt type class

    committed
  3. * Do not use ToInt type class

    committed
    * Add Reify instances
  4. Add values

    committed
  5. fix comment

    committed
  6. Finis rename

    committed
  7. Rename Types to TypeLevel to follow type-level-natural-numbers package

    committed
    --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
Commits on Jul 27, 2010
  1. Update doc on comparison

    committed
Commits on Jul 26, 2010
  1. Fix compilation

    committed
  2. Use type family

    committed
  3. Use closed evaluation for Add'

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

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

    committed
  2. * Convert booleans to type families

    committed
    * Fix tryth tables
Commits on Jun 21, 2010
Commits on May 29, 2010
Commits on May 20, 2010
  1. More TH

    committed
Commits on May 19, 2010
  1. fix

    committed
  2. update cabal file

    committed
  3. Fix addtion in integer numbers

    committed
  4. Add tests

    committed
  5. * Use type families to do addition of integer numbers

    committed
    * Improve documentation
  6. Improve documentation

    committed
  7. Fix bug in Mul

    committed
  8. Fix bug in subtraction

    committed
  9. * Improve documentation for T.N.Nat

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

    committed
Commits on May 17, 2010
  1. Fix dumb bug

    committed
  2. * Convert Normalize to type families

    committed
    * Improve documention
  3. Move cdr to utils module

    committed
  4. LICENSE

    committed
Something went wrong with that request. Please try again.