search

purescript / registry-dev

Development work related to the PureScript Registry
https://github.com/purescript/registry
95 stars 80 forks source link

Upgrade for purs-0.15.14 #681

Closed thomashoneyman closed 7 months ago

thomashoneyman commented 7 months ago

Upgrades the registry codebase for the new compiler release.