Follow

Lambda calculus, question 

Lambda calculus, question 

Lambda calculus, question 

@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é

The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!