Documentation

Release Notes

Manuals

(There are also tutorials below, under 'Introductions to Agda'.)

Books

  • Verified Functional Programming in Agda, by Aaron Stump, ACM Books, 2016. Available for purchase at Morgan and Claypool (publishers), Amazon, and others.
  • Programming Language Foundations in Agda, by Philip Wadler and Wen Kokke, 2017-2018. Available online.

HowTo

Publications

Introductions to Agda:

General introductions to programming with dependent types:

Papers using Agda

Courses using Agda

This is a list of courses which use Agda. Please add your own!

Small case studies

Misc

Agda has a wikipedia page.