Fedor Isakov b3b5ae8f00 Node variable expressions		2014-07-28 10:58:33 +02:00
.mps	SModel isomorphic structure on top of unification tree	2014-07-13 15:00:04 +02:00
languages	Node variable expressions	2014-07-28 10:58:33 +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