HelVM.HelMA.Automata.LazyK.Reducer
reduce :: Lambda -> Lambda #
flippedApply :: Lambda -> Lambda -> Lambda #
apply :: Lambda -> Lambda -> Lambda #