Skip to content

congruent-lambda-p: be more permissive with the congruency test

Daniel Kochmański requested to merge improve-congruency into develop

See the commit message for the description. This MR is a proposal, I accept the possibility, that it will be rejected as a change which breaks the conformance.

Merge request reports