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