Tulip :verified_dragon:
Follow

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

bad
the way is bad

· · Web · 1 · 1 · 4
Tulip :verified_dragon:

please lord have mercy

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

Resources

Developers

What is Mastodon?

types.pl

More…

v3.5.5+types · Privacy policy