Fedor Isakov 2b123d9f42 Apply rule templates from all stages in one pass. ... A heuristic to collect nodes required for local typechecking. Minor changes in typesystem2 runtime.		2017-09-14 18:54:19 +02:00
..
languages	Typechecking templates: protect from NPE; guard aganst infinite recursion while constructing terms for recursive type; more primitive subtyping cases.	2017-09-13 16:41:47 +02:00
solutions	Apply rule templates from all stages in one pass.	2017-09-14 18:54:19 +02:00