HelVM.HelMA.Automata.LazyK.InputEncoder
readInput :: ByteString -> Lambda #
Constructors
encodeInput :: [Natural] -> Lambda #
end :: Lambda #
Other
cons :: Lambda -> Lambda -> Lambda #
church :: Natural -> Lambda #
succChurch :: Natural -> Lambda #
successor :: Lambda -> Lambda #