namicBetaReduce :: Lc -> Lc
dynamicBetaReduce (LcApp (LcAbs p fn) arg) = substitute fn p arg
d
dynamicBetaReduce :: Lc -> Lc
dynamicBetaReduce (LcApp (LcAbs p fn) arg) = substitute fn p arg
dynamicBetaReduce (LcApp (LcAbs p fn) arg) = substitute fn p arg