Follow

Lambda calculus, question Show more

Lambda calculus, question Show more

Lambda calculus, question Show more

@typochon I think because it's the more elegant encoding, and elaborating increasingly sophisticated concepts in terms of lambda calculus is part of how dependent types are generally explained.

There may be another reason I'm not aware of.

Sign in to participate in the conversation
Functional Café

functional.cafe is an instance for people interested in functional programming and languages.