> For the complete documentation index, see [llms.txt](https://wiki.dewaka.com/llms.txt). Markdown versions of documentation pages are available by appending `.md` to page URLs; this page is available as [Markdown](https://wiki.dewaka.com/programming/functional-programming/dependent-types/agda.md).

# Agda

## Tutorials

* [Programming Language Foundations in Agda](https://plfa.github.io/)

## Papers

* [Dependently Typed Programming in Agda](http://www.cse.chalmers.se/~ulfn/papers/afp08/tutorial.pdf)