knowledge
/
programming-books
mirror of https://github.com/namibia/free-programming-books.git
1
0
Fork 0
Code Issues Releases Activity

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
This commit is contained in:
Dan Minshew 2018-12-05 08:49:10 -06:00 committed by eshellman
parent b3dd208fdd
commit d0c5d971fb
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
free-programming-books.md
View File

@ -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