Go to file
Fedor Isakov f0184de4c5 Extracting the JCHR-related stuff to drop it later.
Cleaning up the obsolete modules.
Get rid of dependencies on JCHR stuff.
2016-08-25 13:48:02 +02:00
.idea Updated the git configuration 2015-12-28 10:36:45 +01:00
.mps Extracting the JCHR-related stuff to drop it later. 2016-08-25 13:48:02 +02:00
jchr Extracting the JCHR-related stuff to drop it later. 2016-08-25 13:48:02 +02:00
logic Extracting the JCHR-related stuff to drop it later. 2016-08-25 13:48:02 +02:00
typechecking Extracting the JCHR-related stuff to drop it later. 2016-08-25 13:48:02 +02:00
typesystem2 Extracting the JCHR-related stuff to drop it later. 2016-08-25 13:48:02 +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