iota combinator
I haven't posted here in awhile. It has been brought to my attention that there are only 35 Google search results for "iota combinator". This needs to be corrected.
ι = λ x . x (λ f g y . f y (g y)) (λ y z . y)
That is the definition of iota in terms of lambda calculus. Iota is complete for lambda calculus. I would like to build a system on top of iota. Somebody already has. It's called lazy K.
I learned a lot of what I know about iota from Wikipedia and from Iota and Jot: the simplest languages?
ι = λ x . x (λ f g y . f y (g y)) (λ y z . y)
That is the definition of iota in terms of lambda calculus. Iota is complete for lambda calculus. I would like to build a system on top of iota. Somebody already has. It's called lazy K.
I learned a lot of what I know about iota from Wikipedia and from Iota and Jot: the simplest languages?