Fedor Isakov 86b56d4ac1 Refactoring in the unification.tree: cleaning up the API, getting rid of unnecessary classes		2015-01-27 16:28:36 +01:00
..
jetbrains.mps.type.sandbox	Refactoring in the unification.tree: cleaning up the API, getting rid of unnecessary classes	2015-01-27 16:28:36 +01:00
jetbrains.mps.type.sandbox.runner	Creating sample typechecker for HelloWorld. Small subset of Java supported.	2014-12-19 17:44:55 +01:00
jetbrains.mps.type.solver	Refactoring in the unification.tree: cleaning up the API, getting rid of unnecessary classes	2015-01-27 16:28:36 +01:00
jetbrains.mps.typechecking.handling	Refactoring in the unification.tree: cleaning up the API, getting rid of unnecessary classes	2015-01-27 16:28:36 +01:00
jetbrains.mps.typechecking.rules	Typechecking rule templates to support repeated application: runtime	2015-01-22 15:48:48 +01:00
jetbrains.mps.typechecking.solving	Migrated to MPS 3.2 EAP (build 139-987)	2014-12-15 13:57:15 +01:00
jetbrains.mps.unification.tree	Refactoring in the unification.tree: cleaning up the API, getting rid of unnecessary classes	2015-01-27 16:28:36 +01:00