hauntedhost/programming-language-foundations-in-agda

Programming Language Foundations in Agda by Philip Wadler and Wen Kokke

Programming Language Foundations in Agda by Philip Wadler and Wen Kokke

Personal code while reading Programming Language Foundations in Agda.

---

👻 haunted.host