home
groups
about
login
help
programming_languages@programming.dev
A Lean Syntax Primer
(
overreacted.io
)
from
codeinabox@programming.dev
to
programming_languages@programming.dev
on 10 Oct 11:31
https://programming.dev/post/38845361
#programming_languages
threaded -
newest
threaded - newest