search

dariooddenino / purescript-record-prefix

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

Add variant prefixing #3

Closed paluh closed 2 years ago

paluh commented 2 years ago

I've also added code formatting using purs-tidy to the workflow. Please let me know when you don't like this approach so I can drop this part from this PR.

dariooddenino commented 2 years ago

No, it's fine, thanks! I will get to this this week as soon as I have some time.