I'm still basically convinced that you can beta-reduce out of category theory for most results and the resulting proof will make more sense

· · Web · 0 · 0 · 3
Sign in to participate in the conversation

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