Fedor Isakov 0359ff0ccd Refactoring in the type templates: ... - get rid of the dependency on the type concept; - explicitly create type terms; - no more "alternative block"; - introduce alternative "new type" pseudo constraint; - delete the deprecated constructs; - transition to TypeTermDeclaration; - separate the term declaration from the type constraints; - phasing out obsolete stuff.		2017-02-03 11:28:10 +01:00
.idea	Updated the git configuration	2015-12-28 10:36:45 +01:00
.mps	Rename the project to 'clp-typechecking'	2017-01-03 11:40:06 +01:00
logic	Implement the new abstract method of EvaluationSession.	2017-02-03 11:15:00 +01:00
typechecking	Typechecking templates: remove usages of the "typeConcept"	2017-02-03 11:15:23 +01:00
typesystem2	Refactoring in the type templates:	2017-02-03 11:28:10 +01:00
.gitattributes	Initial import	2014-07-03 15:02:07 +02:00
.gitignore	Update the .gitignore file.	2017-02-03 11:15:00 +01:00
build.xml	Optimizing imports.	2016-12-23 17:40:05 +01:00
test.xml	Refactoring in the type templates:	2017-02-03 11:28:10 +01:00