Fedor Isakov 4ae8fb8e54 Playing with typing rules		2014-07-28 10:58:34 +02:00
.mps	SModel isomorphic structure on top of unification tree	2014-07-13 15:00:04 +02:00
languages	Playing with typing rules	2014-07-28 10:58:34 +02:00
solutions/jetbrains.mps.unification	Adopted the latest changes in submodule, fixed the modelchecker errors	2014-07-21 16:26:57 +02:00
.gitattributes	Initial import	2014-07-03 15:02:07 +02:00
.gitignore	Initial import	2014-07-03 15:02:07 +02:00
.gitmodules	Submodule for the unification algo	2014-07-03 19:12:40 +02:00