Datei:AgdaTalk-Slides.pdf: Unterschied zwischen den Versionen
aus dem Wiki des Entropia e.V., CCC Karlsruhe
(Sozi-Folien zu GPN12:Agda - Mit starken Typen abhängen) |
(Kategorien aus der Dose.) |
||
Zeile 1: | Zeile 1: | ||
Sozi-Folien zu [[GPN12:Agda - Mit starken Typen abhängen]] | Sozi-Folien zu [[GPN12:Agda - Mit starken Typen abhängen]] | ||
[[Kategorie:GPN12]] |
Aktuelle Version vom 16. Juni 2015, 23:31 Uhr
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: