search

data61 / PSL

Other
65 stars 9 forks source link

SeLFiE: more atomic assertions on Print/Term #142

Closed yutakang closed 4 years ago

yutakang commented 4 years ago

Every atomic assertion in Eval_Node should be renamed to Node_..., and we need corresponding atomic assertions for Print_....

yutakang commented 4 years ago

Done in b17bfee3e46d98fe8d0bf30f766622b2a75bfb0c.