doing parametricity proofs with logical relations by hand has me feeling a certain way
badthe way is bad
please lord have mercy
A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.
