search

purescript-contrib / governance

Guidelines and resources for the PureScript Contributors organization
15 stars 3 forks source link

Update tooling to PureScript 0.14 and introduce purs-tidy #46

Closed thomashoneyman closed 2 years ago

thomashoneyman commented 2 years ago

This minor PR updates the updater tool to be usable with PureScript 0.14 and introduces formatting via purs-tidy.