Whatever the next Agda issue is, it'll mark us being 2/3rds of the way to 10_000
A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.
