search

data61 / PSL

Other
65 stars 9 forks source link

SeLFiE: Eval_Modifier should be introduced after Eval_Number and before Full_Path. #99

Closed yutakang closed 5 years ago

yutakang commented 5 years ago

Note that even though the domain of modifier is print the interpreter has to carry some information about modifiers, so that it can process Is_Nth_Induct and Is_Nth_Arb.

But the size of this data-structure is very small. Therefore, I think the list constructor is good enough.

yutakang commented 5 years ago

There are three modifiers. Surely a list is not enough.

yutakang commented 5 years ago

Basically done in 1884237f3aa19a05026f49c785baa90ac4429ada.