home
groups
about
login
help
programming_languages@programming.dev
Resources for type theory, functional programming, etc.
(
github.com
)
from
armchair_progamer@programming.dev
to
programming_languages@programming.dev
on 23 Feb 2024 09:34
https://programming.dev/post/10449054
#programming_languages
threaded -
newest
Paragone@programming.dev on 25 Feb 2024 06:45
collapse
Thank you for posting that.
_ /\ _
threaded - newest
Thank you for posting that.
_ /\ _