home
groups
about
login
help
programming_languages@programming.dev
Implicit Products: A Better Type-Theoretic "Forall"
(
ryanbrewer.dev
)
from
armchair_progamer@programming.dev
to
programming_languages@programming.dev
on 12 Dec 2023 16:55
https://programming.dev/post/7164724
#programming_languages
threaded -
newest
threaded - newest