Previously type substitution in subclssing path is computed by helper method instead of a code inside rule template. |
||
|---|---|---|
| .. | ||
| fitch | ||
| lambdacalc | ||
| mpscore | ||
Previously type substitution in subclssing path is computed by helper method instead of a code inside rule template. |
||
|---|---|---|
| .. | ||
| fitch | ||
| lambdacalc | ||
| mpscore | ||