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?

comments.length == 82 | insertComment()