mps-coderules/samples
Fedor Isakov 4f74f192b4 Refactor typechecking state/results API for readability.
A bunch of renames:
TypesIndex -> TypecheckingResultsCache,
TypecheckingCache -> TypecheckingState.
Simplify methods that update caches.
2020-07-30 17:14:36 +02:00
..
fitch Apply migrations. 2020-07-11 15:13:08 +02:00
lambdacalc Apply migrations. 2020-07-11 15:13:08 +02:00
mpscore Refactor typechecking state/results API for readability. 2020-07-30 17:14:36 +02:00