Popularity
4.1
Declining
Activity
0.0
Stable
5
3
2
Monthly Downloads: 27
Programming language: Haskell
License: BSD 3-clause "New" or "Revised" License
Tags:
Type System
Type
type-eq alternatives and similar packages
Based on the "type" category.
Alternatively, view type-eq alternatives based on common mentions on social networks and blogs.
-
type-level-numbers
Implementation of type level natural and signed integer numbers in haskell using type families.
Do you think we are missing an alternative of type-eq or a related project?
