HelVM.HelMA.Automata.LazyK.Constants
bCombinator :: Lambda #
appSelfApp :: Lambda -> Lambda #
selfApp :: Lambda #
app3SI :: Lambda -> Lambda #
appKS :: Lambda #
appK :: Lambda -> Lambda #
false :: Lambda #
true :: Lambda #