The `stress` example in cancel.v file causes typechecking to diverge
Also, coqtop starts hogging memory. But if I interrupt typechecking in ProofGeneral, then I see that typechecking actually succeeds.
Also, coqtop starts hogging memory. But if I interrupt typechecking in ProofGeneral, then I see that typechecking actually succeeds.