Fedor Isakov c8812c139e Adopted the unification lib as part of this project.		2016-03-10 12:14:18 +01:00
..
src	Reactivate occurrences on union of var arguments. Tests.	2016-03-03 12:58:53 +01:00
test	Optimize selection of rules to try based on the values in the constraint arguments	2016-03-09 15:14:51 +01:00
Test.iml	Adopted the unification lib as part of this project.	2016-03-10 12:14:18 +01:00
pom.xml	Switch to Kotlin 1.0.0 RC	2016-01-25 23:17:59 +01:00