Show all
Author Commit Message Labels Comments Date
Aleksey Khudyakov avatarAleksey Khudyakov
Bump version to 0.1.0.2
Tags
v0.1.0.2
Default avatar Bjorn Buckwalter
Fix repo name in .cabal.
Aleksey Khudyakov avatarAleksey Khudyakov
Added tag v0.1 for changeset 7367629d1545
Aleksey Khudyakov avatarAleksey Khudyakov
Added tag v0.1.0.1 for changeset aee14c36e9c5
Aleksey Khudyakov avatarAleksey Khudyakov
Bump version number to 0.1.0.1
Tags
v0.1.0.1
Aleksey Khudyakov avatarAleksey Khudyakov
Same for integers
Aleksey Khudyakov avatarAleksey Khudyakov
Use quoted names instead of [t| ... |]
Aleksey Khudyakov avatarAleksey Khudyakov
Workaround for GHC bug #4364
Aleksey Khudyakov avatarAleksey Khudyakov
Rename package to type-level-numbers
Tags
v0.1
Aleksey Khudyakov avatarAleksey Khudyakov
Update comment about type comparisons
Aleksey Khudyakov avatarAleksey Khudyakov
Add Reify instances for Word* and Int* types with range checks where
Aleksey Khudyakov avatarAleksey Khudyakov
Add Show instance for Witness
Aleksey Khudyakov avatarAleksey Khudyakov
Remove TypeInt type class
Aleksey Khudyakov avatarAleksey Khudyakov
Do not use TypeInt type class
Aleksey Khudyakov avatarAleksey Khudyakov
* Do not use ToInt type class
Aleksey Khudyakov avatarAleksey Khudyakov
Add values
Aleksey Khudyakov avatarAleksey Khudyakov
Use reify to convert type level booleans to value level ones
Aleksey Khudyakov avatarAleksey Khudyakov
Add Reify type class for conversion to values
Aleksey Khudyakov avatarAleksey Khudyakov
fix comment
Aleksey Khudyakov avatarAleksey Khudyakov
Finis rename
Aleksey Khudyakov avatarAleksey Khudyakov
Rename Types to TypeLevel to follow type-level-natural-numbers package
Aleksey Khudyakov avatarAleksey Khudyakov
Update doc on comparison
Aleksey Khudyakov avatarAleksey Khudyakov
Fix compilation
Aleksey Khudyakov avatarAleksey Khudyakov
Use type families for comparison of numbers
Aleksey Khudyakov avatarAleksey Khudyakov
Use type family
Aleksey Khudyakov avatarAleksey Khudyakov
Use closed evaluation for Add'
Aleksey Khudyakov avatarAleksey Khudyakov
Small doc fix
Aleksey Khudyakov avatarAleksey Khudyakov
Improve docs in cabal file
Aleksey Khudyakov avatarAleksey Khudyakov
* Convert booleans to type families
Aleksey Khudyakov avatarAleksey Khudyakov
Add NonZero and Positive type classes
  1. Prev
  2. Next
Tip: Filter by directory path e.g. /media app.js to search for public/media/app.js.
Tip: Use camelCasing e.g. ProjME to search for ProjectModifiedEvent.java.
Tip: Filter by extension type e.g. /repo .js to search for all .js files in the /repo directory.
Tip: Separate your search with spaces e.g. /ssh pom.xml to search for src/ssh/pom.xml.
Tip: Use ↑ and ↓ arrow keys to navigate and return to view the file.
Tip: You can also navigate files with Ctrl+j (next) and Ctrl+k (previous) and view the file with Ctrl+o.
Tip: You can also navigate files with Alt+j (next) and Alt+k (previous) and view the file with Alt+o.