Documentation

Release Notes

Manuals

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

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!

Misc

Agda has a wikipedia page.