Fedor Isakov 4b64377ac6 Introduce dsl constructs for typechecking queries ... A root TypecheckingQueries is to replace the generic Queries from j.m.lang.coderules.		2021-07-29 12:46:57 +02:00
..
jetbrains.mps.lang.coderules	Introduce dsl constructs for typechecking queries	2021-07-29 12:46:57 +02:00
jetbrains.mps.lang.controlflow	Migrate to the latest MPS release, apply migrations	2021-06-18 18:41:01 +02:00
jetbrains.mps.lang.smodel.types/generator/template	Drop language j.m.l.smodel.types containing SNodeTypeOp that is no longer used.	2019-11-11 14:37:41 +01:00
jetbrains.mps.lang.typechecking	Introduce dsl constructs for typechecking queries	2021-07-29 12:46:57 +02:00
jetbrains.mps.logic	Rename isAssigned to isNonfree for consistency	2021-07-22 15:46:21 +02:00
jetbrains.mps.typechecking.annotation	Rollback aspect devkit for bootstrap languages	2021-06-29 18:10:21 +02:00
jetbrains.mps.typechecking.testlang	Rollback aspect devkit for bootstrap languages	2021-06-29 18:10:21 +02:00
jetbrains.mps.typechecking.testlangCycle1/generator/templates	Drop unnecessary test languages.	2020-05-07 10:23:04 +02:00
jetbrains.mps.typechecking.testlangCycle2/generator/templates	Drop unnecessary test languages.	2020-05-07 10:23:04 +02:00