Datei:AgdaTalk.pdf: Unterschied zwischen den Versionen

aus dem Wiki des Entropia e.V., CCC Karlsruhe
(Vortrags-Tansskript)
 
KKeine Bearbeitungszusammenfassung
Zeile 1: Zeile 1:
Vortrags-Tansskript
Vortrags-Tansskript zu [[GPN12:Agda - Mit starken Typen abhängen]]

Version vom 7. Juni 2012, 22:45 Uhr

Dateiversionen

Klicke auf einen Zeitpunkt, um diese Version zu laden.

Version vomMaßeBenutzerKommentar
aktuell22:45, 7. Jun. 2012 (176 KB)Nomeata (Diskussion | Beiträge)Vortrags-Tansskript

Die folgende Seite verwendet diese Datei: