An open API service for software projects hosted on Open Collective.

github.com/purescript/purescript-typelevel-prelude

Types and kinds for basic type-level programming
https://github.com/purescript/purescript-typelevel-prelude

No commits found.