mps-coderules/samples
Grigorii Kirgizov 91e4d2b582 Revive 'principal' rule feature for MPSCR-51. Mark those rules in BL typesystem.
Introduce 'auxiliary/essential' notions instead of 'principal/not principal'.
2020-03-23 14:28:14 +03:00
..
fitch Check applicable scope for certain checking rules in BL (workaround for BL for MPSCR-51). Fix SubclassingUtil. 2020-03-17 17:54:38 +03:00
lambdacalc Check applicable scope for certain checking rules in BL (workaround for BL for MPSCR-51). Fix SubclassingUtil. 2020-03-17 17:54:38 +03:00
mpscore Revive 'principal' rule feature for MPSCR-51. Mark those rules in BL typesystem. 2020-03-23 14:28:14 +03:00