2 ms·
Hoogle: Search Haskell's Docs Based on Type Annotations
- nequo 2y agoHoogle is a fantastic idea. It has inspired Loogle for Lean 4 and Sherlodoc for OCaml: https://loogle.lean-lang.org/ https://loogle.lean-lang.org/ https://doc.sherlocode.com/ https://doc.sherlocode.com/