-
Heiko Becker authored
Using this new typing, prove the stronger soundness statement, moving the evaluation to the conclusion of the theorems.
8c1d9348
Using this new typing, prove the stronger soundness statement, moving the evaluation to the conclusion of the theorems.