codeworld
codeworld copied to clipboard
Documentation search or hoogle integration
This is something I reach for, perhaps because I'm used to it more than anything. But it might be nice to have Hoogle integrated into the documentation.
Also, a quick alternative that may even be preferable for some other use cases would be to have all the documentation on one page (possibly split into two: the main guide and appendices).
If this is about the educational dialect (i.e., codeworld-base package), then try clicking Guide, then choosing "Appendix: Reference" on the left.
If you're talking about Haskell mode, then this is a lot more involved, but #79 is a prerequisite, at least.