doing parametricity proofs with logical relations by hand has me feeling a certain way

the way is bad


please lord have mercy

· · 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.