mps-coderules/samples
Grigorii Kirgizov 846dbed182 Minor refactor: Split Conversion rulesList to general convertsTo rules and other conversions. Drop intro_hasBound 2019-12-26 18:32:00 +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 Minor refactor: Split Conversion rulesList to general convertsTo rules and other conversions. Drop intro_hasBound 2019-12-26 18:32:00 +03:00