home
-
all
|
technology
-
piracy
-
linux
-
memes
-
asklemmy
-
selfhosted
-
world
-
technology
-
nostupidquestions
-
mildlyinfuriating
-
technology
-
youshouldknow
-
games
-
programmerhumor
-
worldnews
-
privacy
-
opensource
-
gaming
-
showerthoughts
-
lemmyworld
-
more ยป
log in
or
sign up
|
settings
functional_programming@programming.dev
hot
active
scaled
controversial
old
new
most comments
new comments
top
show images
15
"Propositions as Types" by Philip Wadler
(youtu.be)
submitted
8 months ago
by
demesisx@infosec.pub
to
c/functional_programming@programming.dev
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
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
Ategon@programming.dev
cercerilla@programming.dev