Online documentation - search feature vastly improved!

I clicked my Robin Docs bookmark in Firefox a few minutes ago and came to a page with mostly dead links. But when I went to the ‘Documentation’ link on the home page at robin-language.org, I was greatly pleased to find a page with a speedy ‘fuzzy search’ function!

Thanks @jpap!

Regards,
burque505

2 Likes

@burque505, thanks for the feedback!
We were well aware of the fact it took some time for the search to return the results.
More changes are on the way… :wink:

Best regards,
J.

1 Like