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

Can you tell me why this simple function doesn't type check? #26

Closed martyall closed 6 years ago