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) |
(kein Unterschied)
|
Version vom 7. Juni 2012, 23:45 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: