Great work on this package!
I'm experimenting with a different indexing method using SBERT and FAISS.
I'm wondering if it's possible to dump the entire index in xml form. For example:
<entry>
<package>purescript-lists</package>
<module>Data.List</module>
<id>singleton</id>
<def>singleton :: forall a. a -> List a</def>
<doc>Create a list with a single element.
Running time: `O(1)`</doc>
</entry>
It's easier to work with SBERT when things are organized like this.
If you have pointers on how to hack at the repo to get there, I can give it a shot!