José A. Alonso on Nostr: Proofs are programs: A few examples of the Curry-Howard correspondence. ~ Adam Dueck. ...
Published at
2024-08-05 07:14:52Event JSON
{
"id": "c8bde18d2b6c617a5ab0132900a46fa9dc31a524fe778e675daa37cd4c53b667",
"pubkey": "0efb7bc903f4c6716cd4d07830d344d7abe5b607a156de3cde1ac1a5bf22ae1c",
"created_at": 1722842092,
"kind": 1,
"tags": [
[
"t",
"typescript"
],
[
"t",
"curryhoward"
],
[
"proxy",
"https://mathstodon.xyz/users/Jose_A_Alonso/statuses/112908179369188053",
"activitypub"
]
],
"content": "Proofs are programs: A few examples of the Curry-Howard correspondence. ~ Adam Dueck. https://adueck.github.io/blog/curry-howard-proofs-are-programs/ #CurryHoward #TypeScript",
"sig": "e538512332c86cfdf86506de5ded91d8fba640b623308785a73bccb4b82e16208a2db38774c90872756ea370a0f9d1b963feeb54c7dabfd05f80694ac58656fd"
}
