Skip to content

Commit adc81bc

Browse files
author
Arthur Freitas Ramos
committed
Armada 586: ANormalForm + ContinuationPassing (87 theorems)
1 parent 6d49c4e commit adc81bc

2 files changed

Lines changed: 504 additions & 0 deletions

File tree

‎Metatheory.lean‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,7 @@
11
import Metatheory.AbstractInterpretation
22
import Metatheory.AbstractMachines
33
import Metatheory.AbstractionSafety
4+
import Metatheory.ANormalForm
45
import Metatheory.Bidirectional
56
import Metatheory.CL.Confluence
67
import Metatheory.CL.Parallel

0 commit comments

Comments
 (0)