search

data61 / PSL

Other
65 stars 9 forks source link

SeLFiE: remove Eval_Primitive #100

Closed yutakang closed 5 years ago

yutakang commented 5 years ago

Don't forget to move Is_Nth_Arg_Of to Full_Path.

yutakang commented 5 years ago

Done in 1884237f3aa19a05026f49c785baa90ac4429ada.