dariooddenino / purescript-record-prefix

A blazing fast library to add a prefix to a record's labels
7 stars 1 forks source link

Make code compile with newest heterogeneous release #1

Closed paluh closed 4 years ago

dariooddenino commented 5 years ago

I've been a bit busy these days, but I will merge it next week. Thanks for your pr!

dariooddenino commented 4 years ago

Merged, thanks!