Handbook
Glossary
Fuzzy completion
Various developer tools make use of a general-purpose fuzzy completion algorithm.
The main entry point:
completions
( short candidates -- seq )
The words used to implement the algorithm can be called as well, for finer control over fuzzy matching:
fuzzy
( full short -- indices )
runs
( seq -- newseq )
score
( full fuzzy -- n )
complete
( full short -- score )
rank-completions
( results -- newresults )