Grigorii Kirgizov 8744263cb4 Add more tests for containment relation, remove some found unsound rules (MPSCR-11) ... Rules removed are concerned with type variables. JLS [4.5.1] doesn't define containment for them.		2019-12-24 17:27:52 +03:00
..
fitch	Add explicit "test" facets to test solutions.	2019-11-24 17:58:15 +01:00
lambdacalc	Revert "Temporarily ignore failing tests."	2019-11-26 23:09:40 +01:00
mpscore	Add more tests for containment relation, remove some found unsound rules (MPSCR-11)	2019-12-24 17:27:52 +03:00