Grigorii Kirgizov 78358bfc1c Partly rework 'capture' given new hasBound semantics. Produce hasBound in typeVariable macro for Object bound too. (MPSCR-16)		2019-12-18 21:47:06 +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	Partly rework 'capture' given new hasBound semantics. Produce hasBound in typeVariable macro for Object bound too. (MPSCR-16)	2019-12-18 21:47:06 +03:00