plutus-core-1.60.0.0: Language library for Plutus Core
Safe HaskellSafe-Inferred
LanguageHaskell2010

UntypedPlutusCore.Test.DeBruijn.Good

Synopsis
  • lamAbs0 :: t DefaultFun () #

    (lam0 ...n.... (Var n)) Correct binders, well-scoped variable

deeperFun0 :: DefaultFun () #

(lam0 ...n.... lam0 ...n.... (Var n+n)) Correct binders, well-scoped variable