Fedor Isakov dd41e08381 New feature: specify stage for a handler, produce multiple programs from the typechecking model. Stages are specified as strings.		2017-02-09 14:23:57 +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	New feature: specify stage for a handler, produce multiple programs from the typechecking model. Stages are specified as strings.	2017-02-09 14:23:57 +01:00
typechecking	New feature: specify stage for a handler, produce multiple programs from the typechecking model. Stages are specified as strings.	2017-02-09 14:23:57 +01:00
typesystem2	New feature: specify stage for a handler, produce multiple programs from the typechecking model. Stages are specified as strings.	2017-02-09 14:23:57 +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