For convenience: to always get typeOf(return) to unconditionally match on it (eg in closures lang) |
||
|---|---|---|
| .. | ||
| fitch | ||
| lambdacalc | ||
| mpscore | ||
For convenience: to always get typeOf(return) to unconditionally match on it (eg in closures lang) |
||
|---|---|---|
| .. | ||
| fitch | ||
| lambdacalc | ||
| mpscore | ||