Giters

purescript / purescript-typelevel-prelude

Types and kinds for basic type-level programming

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

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

martyall opened this issue · comments