It seems it's necessary to re-index the content in the website because Algolia service doesn't find results for Data Types.
For instance:

However, there is a page for Kleisli:

It works properly for Optics:

and there is a page about it:

The crawling occurs once a day, scheduled by the free service offered by Algolia.
What we should review is the way this crawling is happening at the moment. Actually, we should be probably reviewing it once we have the new site design in place.
This is our current config file:
https://github.com/algolia/docsearch-configs/blob/master/configs/arrow.json
And here it is some documentation about how to configure it:
https://community.algolia.com/docsearch/how-do-we-build-an-index.html
https://community.algolia.com/docsearch/required-configuration.html
https://community.algolia.com/docsearch/config-file.html
Hi! New issue from KotlinLang slack.
When looking for ListK, the result is:
However, the right link is:
I changed the title because re-index happens once a day as @calvellido commented :+1:
This has been now fixed with the awesome support of the Algolia team:
:raised_hands: :raised_hands:
Thanks @calvellido !!! :tada:
Most helpful comment
This has been now fixed with the awesome support of the Algolia team:
https://github.com/algolia/docsearch-configs/blob/7eee192dbcc19f791989c48839421cf1512e30b6/configs/arrow.json
:raised_hands: :raised_hands: