Fix discharge function on lambdas.

runtimeverification / plutus-core-semantics

BSD 3-Clause "New" or "Revised" License

27 stars 5 forks source link

Closed ChristianoBraga closed 2 years ago

ChristianoBraga commented 2 years ago

Fix discharge for lambdas. A lambda value < lam X:UplcId T:Term RHO:Map > should discharge RHO[X <- undef] in T if X in RHO or simply RHO otherwise.