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 )