Agda translation relation for CaseOfCase UPLC phase
ramsay-t opened this issue · comments
The CaseOfCase phase in the UPLC compiler needs an Agda translation relation of the form defined in the paper.
IntersectMBO / plutus
The Plutus language implementation and tools