A bunch of renames: TypesIndex -> TypecheckingResultsCache, TypecheckingCache -> TypecheckingState. Simplify methods that update caches. |
||
|---|---|---|
| .. | ||
| fitch | ||
| lambdacalc | ||
| mpscore | ||
A bunch of renames: TypesIndex -> TypecheckingResultsCache, TypecheckingCache -> TypecheckingState. Simplify methods that update caches. |
||
|---|---|---|
| .. | ||
| fitch | ||
| lambdacalc | ||
| mpscore | ||