Commits

Show all
Author Commit Message Labels Comments Date
Aleksey Khudyakov
Fix some warnings
Tags
v0.1.0.3
Aleksey Khudyakov
Fix build for GHC7.4
Aleksey Khudyakov
Added tag v0.1.0.2 for changeset 6adbde20f716
Aleksey Khudyakov
Bump version to 0.1.0.2
Tags
v0.1.0.2
Bjorn Buckwalter
Fix repo name in .cabal.
Aleksey Khudyakov
Added tag v0.1 for changeset 7367629d1545
Aleksey Khudyakov
Added tag v0.1.0.1 for changeset aee14c36e9c5
Aleksey Khudyakov
Bump version number to 0.1.0.1
Tags
v0.1.0.1
Aleksey Khudyakov
Same for integers
Aleksey Khudyakov
Use quoted names instead of [t| ... |]
Aleksey Khudyakov
Workaround for GHC bug #4364
Aleksey Khudyakov
Rename package to type-level-numbers
Tags
v0.1
Aleksey Khudyakov
Update comment about type comparisons
Aleksey Khudyakov
Add Reify instances for Word* and Int* types with range checks where
Aleksey Khudyakov
Add Show instance for Witness
Aleksey Khudyakov
Remove TypeInt type class
Aleksey Khudyakov
Do not use TypeInt type class
Aleksey Khudyakov
* Do not use ToInt type class
Aleksey Khudyakov
Add values
Aleksey Khudyakov
Use reify to convert type level booleans to value level ones
Aleksey Khudyakov
Add Reify type class for conversion to values
Aleksey Khudyakov
fix comment
Aleksey Khudyakov
Finis rename
Aleksey Khudyakov
Rename Types to TypeLevel to follow type-level-natural-numbers package
Aleksey Khudyakov
Update doc on comparison
Aleksey Khudyakov
Fix compilation
Aleksey Khudyakov
Use type families for comparison of numbers
Aleksey Khudyakov
Use type family
Aleksey Khudyakov
Use closed evaluation for Add'
Aleksey Khudyakov
Small doc fix
  1. Prev
  2. Next