loopy icon indicating copy to clipboard operation
loopy copied to clipboard

Published 20 hours ago • verified publisher icon inducer

Matching an instruction based on the substitution rule it invokes

Open kaushikcfd opened this issue 2 years ago • 1 comments

There's no way to express such match criteria, maybe we need one such MatchExpressionBase?

kaushikcfd avatar Dec 17 '22 12:12 kaushikcfd

How efficient would/could it be to use minikanren for such a query?

inducer avatar Dec 20 '22 01:12 inducer