LiFtEr: Introduce a new language construct `Is_Rule_Of of (rule * subtrm_occ)`. - Githubissues

data61 / PSL

Other

65 stars 9 forks source link

LiFtEr: Introduce a new language construct `Is_Rule_Of of (rule * subtrm_occ)`. #73

Closed yutakang closed 5 years ago

yutakang commented 5 years ago

This will be useful when used with Depth_Of.

yutakang commented 5 years ago

5cc2b8438d0c2416da4446ab763804cf4025144d