Fedor Isakov ed07a82bb5 Typechecking2 runtime: introduced boundParam in required(), list support, pre/post processing of static rule templates		2015-06-08 13:39:19 +02:00
.idea	Updated the IDEA project to run the tests	2015-05-13 13:49:37 +02:00
.mps	Testing LUB solver	2015-05-13 13:49:38 +02:00
languages	Typechecking2 runtime: introduced boundParam in required(), list support, pre/post processing of static rule templates	2015-06-08 13:39:19 +02:00
solutions	Introduced ExpressionConstraint; template parts contribute to the main template; refactored the templates runtime	2015-05-13 13:49:38 +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
.gitmodules	Renamed the solution	2014-07-28 11:58:53 +02:00