Needed to disambiguate free variables that are not yet inferred from those which has been already processed with error. Also more properly handle case of trivial return type inference |
||
|---|---|---|
| .. | ||
| fitch | ||
| lambdacalc | ||
| mpscore | ||
Needed to disambiguate free variables that are not yet inferred from those which has been already processed with error. Also more properly handle case of trivial return type inference |
||
|---|---|---|
| .. | ||
| fitch | ||
| lambdacalc | ||
| mpscore | ||