Die folgenden Seiten verlinken auf GPN12:Agda - Mit starken Typen abhängen:
Angezeigt wird ein Eintrag.