Property-based tests via typing relation
Opened this issue · 0 comments
RaasAhsan commented
The inversion lemma (or generation lemma) offers a straightforward method to creating well-typed terms. We should define generators and assert that the produced terms type check.