Fedor Isakov 8533c77448 Better printing of types to match the expected type representation		2015-11-12 12:01:20 +01:00
.idea	Updated the IDEA project	2015-11-03 11:09:51 +01:00
.mps	Fix NodePrinter, test	2015-10-28 13:39:44 +01:00
languages	Better printing of types to match the expected type representation	2015-11-12 12:01:20 +01:00
solutions	Introduce per-rule NamingContext for logical variables. Support for launching constraint handler via main() constraint. Minor fixes.	2015-11-12 12:01:19 +01: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
.gitmodules	Renamed solution 'j.m.unification.tree' -> 'j.m.logic.atom'	2015-08-06 12:57:35 +02:00