issues
search
purescript
/
purescript-typelevel-prelude
Types and kinds for basic type-level programming
BSD 3-Clause "New" or "Revised" License
63
stars
21
forks
source link
Add typelevel boolean, and Equals for symbol & ordering
#6
Closed
LiamGoodacre
closed
7 years ago
paf31
commented
7 years ago
Awesome!
Awesome!