search

data61 / PSL

Other
65 stars 9 forks source link

SeLFiE: In_Some_Definitions and In_All_Definitions should take a term rather than a term occurrence #131

Closed yutakang closed 4 years ago

yutakang commented 4 years ago

This change boost the performance of the SeLFiE interpreter when combined with the caching mechanism.

yutakang commented 4 years ago

Done in 046dd151eabadb158b08fea6e4d5ccd7e244c9b7.