GHC also uses Demarau-Levenshtein [0]. The fuzzy lookup function gets re-used for a couple places too (including whatever you encountered in GHCi).
[0]: https://github.com/ghc/ghc/blob/25977ab542a30df4ae71d9699d01...
[0]: https://github.com/ghc/ghc/blob/25977ab542a30df4ae71d9699d01...
No comments yet.