Skip to content

Instantly share code, notes, and snippets.

@mandubian

mandubian/product_lambda.hs

Last active November 12, 2017 13:38
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save mandubian/708c5ce017cb1fa09363898eaea0df88 to your computer and use it in GitHub Desktop.
Save mandubian/708c5ce017cb1fa09363898eaea0df88 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
product_lambda.hs
// lambda calculus augmented with cartesian product (A x B) and 2 projections from (A x B) to A and B
// projection1 from (A x B) to A
𝚷1(a:A, b:B) = a:A
// projection1 from (A x B) to B
𝚷2(a:A, b:B) = b:B
// cartesian product expressed in terms of the 2 projections
(𝚷1(c:A ⨂ B), 𝚷2(c: A ⨂ B)) = (c: A ⨂ B)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment