-
Notifications
You must be signed in to change notification settings - Fork 1
A type-level library enabling the creation and the manipulation of type constructors which can be detached from their type parameters. Also referred to as higher kinded types.
License
geoffreytools/free-types
ErrorLooks like something went wrong!
About
A type-level library enabling the creation and the manipulation of type constructors which can be detached from their type parameters. Also referred to as higher kinded types.