Repository navigation

purescript-typelevel-prelude

Public

About

Types and kinds for basic type-level programming

BSD-3-Clause license

Custom properties

65 stars

9 watching

Report repository

Name		Name	Last commit message	Last commit date
.github		.github
src/Type		src/Type
.gitignore		.gitignore
CHANGELOG.md		CHANGELOG.md
LICENSE		LICENSE
README.md		README.md
bower.json		bower.json
package.json		package.json

Repository files navigation

purescript-typelevel-prelude

Types and kinds for basic type-level programming.

Installation

spago install typelevel-prelude

Documentation

Module documentation is published on Pursuit.

About

Types and kinds for basic type-level programming

BSD-3-Clause license

Custom properties

65 stars

9 watching

Report repository

Releases

Used by

Contributors

Languages