Die folgenden Seiten verlinken auf GPN12:Agda - Mit starken Typen abhängen:
Angezeigt werden 2 Einträge.