# 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)