mps-coderules/samples
Grigorii Kirgizov 590f3ed6ed Fix usages of OriginSpec: can't use them inside ConstraintRule bodies. Use convertsToSafe instead 2020-05-04 15:16:47 +03:00
..
fitch Refactor out lang dependency on function type analogously to sequence type 2020-05-04 15:16:47 +03:00
lambdacalc Refactor out lang dependency on function type analogously to sequence type 2020-05-04 15:16:47 +03:00
mpscore Fix usages of OriginSpec: can't use them inside ConstraintRule bodies. Use convertsToSafe instead 2020-05-04 15:16:47 +03:00