Fedor Isakov 0713c80a27 Typechecking templates: drop internal "typeOf" constraint, replace with custom declaration.		2018-04-25 16:34:24 +02:00
..
languages	Typechecking templates: drop internal "typeOf" constraint, replace with custom declaration.	2018-04-25 16:34:24 +02:00
solutions	Refactoring: moving term-related concepts into a separate language, use dataform nomenclature instead of term where possible. Create migration.	2018-04-19 16:30:23 +02:00