Fedor Isakov 030d474727 Itegrating the reactor API changes from the typechecker project.		2016-08-29 11:21:23 +02:00
..
.idea	Switch to using JDK 1.8 for the project.	2016-06-24 14:22:22 +02:00
API	Itegrating the reactor API changes from the typechecker project.	2016-08-29 11:21:23 +02:00
Core	Implement missing methods.	2016-08-29 10:53:44 +02:00
Test	Specifying occurrence arguments to patternPredicates.	2016-06-26 18:19:30 +02:00
unification	Minor optimizations. Avoid calling toString() on symbols.	2016-06-30 09:45:45 +02:00
.gitignore	Adopted the unification lib as part of this project.	2016-03-10 12:14:18 +01:00
Reactor.iml	Switch to using JDK 1.8 for the project.	2016-06-24 14:22:22 +02:00
pom.xml	Switch to using JDK 1.8 for the project.	2016-06-24 14:22:22 +02:00