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 if #10

Closed LiamGoodacre closed 7 years ago

paf31 commented 7 years ago

Looks great, thanks!