OFTS

OCaml Fuzzy Type Search

Ultimate goal: Hoogle for OCaml, able to mine all your opam-installed packages, from the command-line.

PS: there will be no diophantine equation solver in there; just a hack to get 80% of the job done.