Welcome to the agda wiki! This page is meant for the developers of Agda to document the design and implementation of Agda. If you are a user of Agda, you should instead read the official documentation on ReadTheDocs.