mps-coderules/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models
Fedor Isakov 85cf6888d5 Typechecking BL: introduce type term, reorganize terms to extend type, drop kind value from prim.
Temprorarily use classifier type String for internal string type.
Restore eq predicate in converts_ground_id body.
Remove origin{} block from var decl, doubtful idea.
2020-01-20 10:52:40 +01:00
..
controlflow.mps Fix the structural errors introduced by a badly run migration. 2019-11-06 12:05:18 +01:00
jetbrains.mps.baseLanguageExt.behavior.mps Switch to 2018.3 RC. Apply all migrations. 2018-11-28 16:48:59 +01:00
jetbrains.mps.baseLanguageExt.constraints.mps Restructuring the project: consolidate code, moving samples away. 2018-07-14 17:22:07 +02:00
jetbrains.mps.baseLanguageExt.editor.mps Run migrations with MPS 2019.2 EAP3. 2019-07-26 17:27:18 +02:00
jetbrains.mps.baseLanguageExt.structure.mps Restructuring the project: consolidate code, moving samples away. 2018-07-14 17:22:07 +02:00
jetbrains.mps.baseLanguageExt.types.mps Typechecking BL: introduce type term, reorganize terms to extend type, drop kind value from prim. 2020-01-20 10:52:40 +01:00
jetbrains.mps.baseLanguageExt.typesystem.mps Restructuring the project: consolidate code, moving samples away. 2018-07-14 17:22:07 +02:00