I get that we're going to move into higher dimensions but could you please not use sum notation for three terms :)

Show thread
Show older

rachel lambda samuelsson's choices:

types.pl

A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.