Michael James

web todo: show tooltips for code

2

Currently I assume the candidate code will come as a string, but Zheng and I agreed we'll send some kind of AST with type annotation for creating tooltips. I need...

[ ] - Syntax highlighting uses a _slightly_ off-white background color. I see two options to fix this: - Download the current styling sheet and modify it. https://highlightjs.org/static/demo/styles/github.css - Find...

When a user puts in a new usage example, we need to type check it. We can do some type checking in the spec only if they've put a type...

Data.ByteString.Lazy requires `Word8` and `FilePath`. But `FilePath` requires `String`, and this does not resolve correctly.

Adds feature not ported from Hoogle4, as noted in https://github.com/ndmitchell/hoogle/issues/373. This re-introduces the `--convert` flag which takes a list of text databases to index into the binary format. This is...

An attempt to fix https://github.com/ndmitchell/hoogle/issues/362, albeit a bit rough. Before this fix, if you ran `hoogle generate --local=.` on the hoogle repo you would get an error `hseToItem failed`, from...

typing `constructor` inserts HTML and replaces with `undefined`

2

When you type `constructor` and hit space, the following content gets inserted over the word `constructor`.  I would expect the word `constructor` to be unchanged. btw thanks for making...