search

data61 / PSL

Other
65 stars 9 forks source link

SeLFiE: clarify where I need to pass `term` to eval functions. #114

Closed yutakang closed 4 years ago

yutakang commented 4 years ago

Done in 42b3653dc3daff73d7ebf0f36de436d24eb7661e