search

informalsystems / themis-tracer

A tool for managing complex contexts for developing critical systems
Apache License 2.0
4 stars 0 forks source link

Add fuzzy narrowing as default filtering mechanism #48

Open shonfeder opened 3 years ago

shonfeder commented 3 years ago

This will apply to

And will use https://github.com/lotabout/fuzzy-matcher.

This is not part of the MVP, because we can achieve the same thing currently just by piping the output of those outputs thru tools like fzf or skim.