Commit 90516f6

committed

Prove correctness of freshening

1 parent 9bcad7a commit 90516f6Copy full SHA for 90516f6

3 files changed

+1986

-36

lines changed

compiler
- backend/passes
  - proofs
    - pure_freshenProofScript.sml
  - pure_freshenScript.sml
- binary
  - pure_frontendProgScript.sml

3 files changed

+1986

-36

lines changed

Comments

(0)