Fedor Isakov 2166c14df3 Introduce per-rule NamingContext for logical variables. Support for launching constraint handler via main() constraint. Minor fixes.		2015-11-12 12:01:19 +01:00
..
jetbrains.mps.type.sandbox/classes_jchr	Removed obsolete solutions	2015-06-17 15:39:53 +02:00
jetbrains.mps.typechecking.handling	Introduce per-rule NamingContext for logical variables. Support for launching constraint handler via main() constraint. Minor fixes.	2015-11-12 12:01:19 +01:00
jetbrains.mps.typechecking.rules	Support for headless rules: all are collected into "main" rule with head=main()	2015-11-10 17:15:32 +01:00