search

purescript / registry-dev

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

Use cloned directory for compilation #517

Closed thomashoneyman closed 2 years ago

thomashoneyman commented 2 years ago

See: https://github.com/purescript/registry/issues/11#issuecomment-1239604877