Agda Programming Language

Created: Feb 20, 2018 by Pradeep Gowda Updated: Feb 20, 2018 Tagged: programming-language

• 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.