Open DouglasUT2018 opened 7 years ago
Actually the string version is correct. Loading arguments for each premise is recursive and would require everything down to the last to be loaded or have some arbitrary stop point. So we may as well make it stop immediately. A claim will have a search menu expand from it with default to load all arguments and their premises. But this can be narrowed down to query for less.
Yep - searching by string is trying to be as fast as it can be. Searching by id makes me think the args will be used so they're returned.
Adding a search for claim arguments form with filtering & sorting to a claim I think warrants it's own project in the WL github org. That's going to be a pretty big project that I reckon will span multiple repos.
Should be within my limits but want to stick to one thing at a time for now so flagging for you of for me later on