Grigorii Kirgizov 749ac192aa Begin work on MPSCR-16: rewrite macros for TypeVariableDeclaration & TypeVariableReference ... Remove duplicated processing of auxiliary bounds in type var declarations. TypeVariableDeclaration macro now plays a role of instantiating type variables. hasBound constraint is produced more consistently, on any expansion of TypeVariableDeclaration. It will work mainly through reactivation due to changes to its arguments.		2019-12-18 21:47:05 +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	Begin work on MPSCR-16: rewrite macros for TypeVariableDeclaration & TypeVariableReference	2019-12-18 21:47:05 +03:00