typelevel-prelude icon indicating copy to clipboard operation
typelevel-prelude copied to clipboard

verified publisher icon kcsongor
→

Metadata

Standard module for type-level programming in Haskell

typelevel-prelude

Standard module for type-level programming in Haskell

Requires a fork of GHC with UnsaturatedTypeFamilies.

← Metadata

31
Stars
0
Forks
Watchers

Owner

verified publisher icon kcsongor

Metadata

Standard module for type-level programming in Haskell

Back