Agda Programming Language
Created:
- http://twanvl.nl/tag/agda
- Programming Language Foundations in Agda – This book is an introduction to programming language theory, written in Agda. The authors are Wen Kokke and Philip Wadler.