removing a closure style CEK machine for types which isn't used.

IntersectMBO · Jan 11, 2021 · 4076ac2 · 4076ac2
1 parent 7dcc60c
commit 4076ac2
Showing 1 changed file with 0 additions and 83 deletions.
diff --git a/plutus-metatheory/src/Type/CEK.lagda.md b/plutus-metatheory/src/Type/CEK.lagda.md