Search à la Hoogle or full text search

[RaitoBezarius]

The Google Custom search is not super reliable, I, most of the time, fail to find what I want even if it exists under a close name.

What would be the holy grail I suppose is to have a Hoogle-like search (https://github.com/ndmitchell/hoogle/blob/master/README.md)

But what we could do at least is a JavaScript full text search client-side using http://elasticlunr.com/ or something like this.

I could try to hack some prototype and open a PR for it, is this something that people would be interested in?

[robertylewis]

But what we could do at least is a JavaScript full text search client-side using http://elasticlunr.com/ or something like this.

Actually, a student of mine is looking into doing exactly this, along with various other design/UI improvements for the docs. So if you can be a little patient it should happen soon :)

[RaitoBezarius]

But what we could do at least is a JavaScript full text search client-side using http://elasticlunr.com/ or something like this.

Actually, a student of mine is looking into doing exactly this, along with various other design/UI improvements for the docs. So if you can be a little patient it should happen soon :)

If I can give a hand, that'd be with pleasure :)