search

purescript / registry-dev

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

Migrate package sets location #519

Closed thomashoneyman closed 1 year ago

thomashoneyman commented 1 year ago

Closes #344. See: https://discourse.purescript.org/t/registry-alpha-launched/3146?u=thomashoneyman