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 #49

Closed shonfeder closed 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.

shonfeder commented 3 years ago

dup