SeLFiE: implement a function to fetch relevant equations for the bootstrapping interpreter.

data61 / PSL

Other

65 stars 9 forks source link

Closed yutakang closed 4 years ago

yutakang commented 5 years ago

We need this function to implement eval for Holds_In_One_Clause_Of in Eval_Syntax_Surface.ML.

yutakang commented 4 years ago

This issue is way too outdated. I implemented this feature long time ago.