Fedor Isakov 6c8d9bbb30 Fix broken model import		2016-08-05 13:40:04 +02:00
.idea	Updated the git configuration	2015-12-28 10:36:45 +01:00
.mps	Migrated to MPS 3.4 EAP2.	2016-06-08 13:46:19 +02:00
jchr/languages/jetbrains.mps.jchr	Trivial automatic change after update to the latest build.	2016-07-28 12:44:38 +02:00
logic	Fix broken model import	2016-08-05 13:40:04 +02:00
typechecking	Typechecking templates: making use of the latest features in the typesystem2 language, simplifying the code.	2016-08-05 12:39:39 +02:00
typesystem2	Typesystem2 language: new feature allowing the use of type declarations in constructing type terms.	2016-08-05 12:39:39 +02:00
.gitattributes	Initial import	2014-07-03 15:02:07 +02:00
.gitignore	Ignore IDEA's workspace file	2015-02-09 16:21:36 +01:00