Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
tag: v0.1.0.2
Commits on Mar 10, 2011
  1. Bump version to 0.1.0.2

    authored
  2. @bjornbm

    Fix repo name in .cabal.

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

    authored
  2. Workaround for GHC bug #4364

    authored
Commits on Jul 31, 2010
  1. Rename package to type-level-numbers

    authored
    --HG--
    rename : type-numbers.cabal => type-level-numbers.cabal
  2. Add Show instance for Witness

    authored
  3. Remove TypeInt type class

    authored
  4. Do not use TypeInt type class

    authored
  5. * Do not use ToInt type class

    authored
    * Add Reify instances
  6. Add values

    authored
  7. fix comment

    authored
  8. Finis rename

    authored
  9. Rename Types to TypeLevel to follow type-level-natural-numbers package

    authored
    --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

    authored
Commits on Jul 26, 2010
  1. Fix compilation

    authored
  2. Use type family

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

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

    authored
  2. * Convert booleans to type families

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

    authored
Commits on May 19, 2010
  1. fix

    authored
  2. update cabal file

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