SeLFiE: defined_recursively should be defined on terms rather than term occurrences - Githubissues

data61 / PSL

Other

65 stars 9 forks source link

SeLFiE: defined_recursively should be defined on terms rather than term occurrences #143

Closed yutakang closed 4 years ago

yutakang commented 4 years ago

yutakang commented 4 years ago

Done in 5a830e66f1d8e67260a3e50da2dcff052c9600a9