this post was submitted on 20 Feb 2024
15 points (100.0% liked)

Functional Programming

1341 readers
1 users here now

founded 1 year ago
MODERATORS
[email protected]
[email protected]
15
"Propositions as Types" by Philip Wadler (youtu.be)
submitted 4 months ago by [email protected] to c/[email protected]
0 comments fedilink hide all child comments
no comments (yet)
sorted by: hot top controversial new old
there doesn't seem to be anything here