discu
Newsletters
Mentions
Extension
Pricing
Login
Sign Up
Hacker News
Programming Language Foundations in Agda
https://plfa.github.io/
5 comments
22/1/2021
Programming Language Foundations in Agda
https://plfa.github.io/
4 comments
28/8/2018
Reddit
Programming Language Foundations in Agda
https://plfa.github.io/
2 comments
4/12/2018
idris
Philip Wadler and Wen Kokke publish book on Programming Language Foundations in Agda
https://wadler.blogspot.com/2018/12/programming-language-foundations-in-agda.html
13 comments
2/12/2018
haskell