/types-and-programming-languages

Code and proofs from Pierce's Types & Programming Languages book, rewritten in Athena language

Watchers