search

purescript / pursuit

Website for hosting and searching PureScript API documentation
https://pursuit.purescript.org/
Other
170 stars 47 forks source link

Add OpenSearch description, resolves #325 #377

Closed hdgarrood closed 6 years ago

hdgarrood commented 6 years ago

I'm just going to merge this, since it's very straightforward and the CI failure is to do with dependencies.