this post was submitted on 20 Feb 2024

15 points (100.0% liked)

Functional Programming

1389 readers

1 users here now

founded 1 year ago

MODERATORS

15

"Propositions as Types" by Philip Wadler (youtu.be)

submitted 8 months ago by [email protected] to c/functional_programming

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