Some more pictures from my day out (types exclusive). What does the HOPL factory make? (wrong answers only)
A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.