mps-coderules/typechecking
Fedor Isakov c9c8ed39b4 Typechecking templates: Manual migrations and cleanup. Applied the migrations. 2017-10-27 16:30:28 +02:00
..
languages Typechecking templates: Manual migrations and cleanup. Applied the migrations. 2017-10-27 16:30:28 +02:00
solutions Typesystem2 lang: Switch to using LateExpression for handling Java code in logical clauses; Introduce ExpressionItem, create a migration that replaces LogicalValue with ExpressionItem; Migration to replace LogicalValue; Drop generation of ExpressionSolver. 2017-10-27 16:30:28 +02:00