From d0c5d971fbbc31a092aa2bae09d87a5cf6a30ff8 Mon Sep 17 00:00:00 2001 From: Dan Minshew Date: Wed, 5 Dec 2018 08:49:10 -0600 Subject: [PATCH] Add "Programming Language Foundations in Agda" (#3078) * Add "Programming Language Foundations in Agda" New book out from Philip Wadler and Wen Kokke. Site: https://plfa.github.io Repo: https://github.com/plfa/plfa.github.io * Add authors' names * remove trailing slash, add full names --- free-programming-books.md | 1 + 1 file changed, 1 insertion(+) diff --git a/free-programming-books.md b/free-programming-books.md index 11fe58cb2..f8095f293 100644 --- a/free-programming-books.md +++ b/free-programming-books.md @@ -784,6 +784,7 @@ Kerridge (PDF) (email address *requested*, not required) ### Agda * [Agda Tutorial](http://people.inf.elte.hu/divip/AgdaTutorial/Index.html) +* [Programming Language Foundations in Agda](https://plfa.github.io) - Philip Wadler and Wen Kokke ### Alef