my brain is entirely nonfunctional
@david a record? record? record?
A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.
