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.
spago install typelevel-prelude
Module documentation is published on Pursuit.