Documentation

Release Notes

Manuals

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

Books

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.