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
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
BSD 3-Clause "New" or "Revised" License