Welcome to Agda's documentation! overview getting-started/index language/index tools/index contribute/index license team Indices and tables genindex search