Replace node-ptr<> type with node<> where applicable. Use node<> type is ok in constraint arguments. Replace instances of LateExpressionItem $() with ExpressionItem. |
||
|---|---|---|
| .. | ||
| fitch | ||
| lambdacalc | ||
| mpscore | ||
Replace node-ptr<> type with node<> where applicable. Use node<> type is ok in constraint arguments. Replace instances of LateExpressionItem $() with ExpressionItem. |
||
|---|---|---|
| .. | ||
| fitch | ||
| lambdacalc | ||
| mpscore | ||