WilfredTA/types-and-programming-languages
Code and proofs from Pierce's Types & Programming Languages book, rewritten in Athena language
No issues in this repository yet.
Code and proofs from Pierce's Types & Programming Languages book, rewritten in Athena language
No issues in this repository yet.