Text.Distance.Levenshtein

Definitions

compute : HasIO io => String -> String -> io Nat

  Dynamic programming

Totality: total
Visibility: export