discu
Newsletters
Mentions
Extension
Pricing
Login
Sign Up
Reddit
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