AgdaTalk-Slides.pdf (Dateigröße: 773 KB, MIME-Typ: application/pdf)
Sozi-Folien zu GPN12:Agda - Mit starken Typen abhängen
Dateiversionen
Klicke auf einen Zeitpunkt, um diese Version zu laden.
Version vom | Maße | Benutzer | Kommentar | |
---|---|---|---|---|
aktuell | 23:45, 7. Jun. 2012 | (773 KB) | Nomeata (Diskussion | Beiträge) | Sozi-Folien zu GPN12:Agda - Mit starken Typen abhängen |
Du kannst diese Datei nicht überschreiben.
Dateiverwendung
Die folgende Seite verwendet diese Datei: