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 ConsSymbol #24

Closed kcsongor closed 6 years ago

kcsongor commented 7 years ago

Together with https://github.com/purescript/purescript/pull/3054