Cleanup and simplify typechecking strategy

This commit is contained in:
Fedor Isakov 2022-05-03 10:17:45 +02:00
parent ddce418ba4
commit 702098d091
1 changed files with 48 additions and 1171 deletions