Types and kinds for basic type-level programming
PureScript
65
98 commits
updated Sep 28, 2024
README
purescript-typelevel-prelude
Types and kinds for basic type-level programming.
Installation
spago install typelevel-prelude
Documentation
Module documentation is published on Pursuit.
Contributors
Similar repos
Languages
PureScript
100.0%
Types and kinds for basic type-level programming
PureScript
65
98 commits
updated Sep 28, 2024
README
purescript-typelevel-prelude
Types and kinds for basic type-level programming.
Installation
spago install typelevel-prelude
Documentation
Module documentation is published on Pursuit.
Similar repos
Contributors
Languages
PureScript
100.0%