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

RProxy and RLProxy are defined in prelude already #39

Closed fehrenbach closed 5 years ago

LiamGoodacre commented 5 years ago

Thanks!