vvergu opened this issue 8 years ago · 0 comments
Make get-applicable-arrow more powerful to do more inference on the rule LHS.