search

purescript / registry-dev

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

Support purs-0.15.10 #626

Closed thomashoneyman closed 1 year ago

thomashoneyman commented 1 year ago

Updates to the latest purescript-overlay, which includes the newly-released PureScript 0.15.10.