11 type packages and projects
-
type-combinators
7.3 0.0 HaskellType level lists, pairs, sums, their operations, and their properties. -
type-equality
6.5 0.0 HaskellHaskell definition of type equality, coercion/cast and other operations. -
type-level-tf
3.8 0.0 HaskellType level numerics for Haskell using type families. Based on type-level.
Learn any GitHub repo in 59 seconds
Onboard AI learns any GitHub repo in minutes and lets you chat with it to locate functionality, understand different parts, and generate new code. Use it for free at www.getonboard.dev.
Promo
getonboard.dev