what am I supposed to say abt the paper other than "it's out" I barely remember the contents

my original twitter thread was good imo
I don't think anything has changed since then

did I post the original thread on here as well lol
the paper might honestly predate this place being a real contender for announcing actual things lol

Follow

I don't think I ever posted about it here great. I gotta draft smth tmrw

Sign in to participate in the conversation
types.pl

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