Types and kinds for basic type-level programming.
spago install typelevel-prelude
Module documentation is published on Pursuit.
Types and kinds for basic type-level programming
PureScriptBSD-3-Clause
Types and kinds for basic type-level programming.
spago install typelevel-prelude
Module documentation is published on Pursuit.