Package type-level-numbers
Top Similar Packages
Packages that have similar categories to this package
- tfp 29
- ghc-typelits-knownnat 13
- ghc-typelits-natnormalise 13
- type-level-sets 6
- type-level-natural-number 5
- type-spine 5
- ghc-tcplugins-extra 4
- uom-plugin 4
- ghc-typelits-presburger 3
- kinds 3
- type-level-numbers 3
- data-type 2
- ghc-typelits-extra 2
- names 2
- type-digits 2
- type-functions 2
- compound-types 1
- sext 1
- type-cereal 1
- type-level-natural-number-induction 1