Fedor Isakov fd4748e91a New feature: Equals constraint to be used wherease the unification is not applicable/needed.		2017-02-17 11:58:10 +01:00
.idea	Updated the git configuration	2015-12-28 10:36:45 +01:00
.mps	Repackage utility classes inside the types aspect model. Delete obsolete module.	2017-02-09 14:24:00 +01:00
logic	Refactor generating a program from type templates to work with handling stages. Dropping obsolete code. Minor stuff.	2017-02-13 17:23:07 +01:00
typechecking	Add the "final" property to the term feature, which suppresses generating "pattern" for a match in a rule's head.	2017-02-13 17:23:07 +01:00
typesystem2	New feature: Equals constraint to be used wherease the unification is not applicable/needed.	2017-02-17 11:58: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	Repackage utility classes inside the types aspect model. Delete obsolete module.	2017-02-09 14:24:00 +01:00