Datei:AgdaTalk.pdf: Unterschied zwischen den Versionen

aus dem Wiki des Entropia e.V., CCC Karlsruhe
Zur Navigation springenZur Suche springen
KKeine Bearbeitungszusammenfassung
(Kategorien aus der Dose.)
 
Zeile 1: Zeile 1:
Vortrags-Tansskript zu [[GPN12:Agda - Mit starken Typen abhängen]]
Vortrags-Tansskript zu [[GPN12:Agda - Mit starken Typen abhängen]]
[[Kategorie:GPN12]]

Aktuelle Version vom 16. Juni 2015, 23:31 Uhr

Dateiversionen

Klicke auf einen Zeitpunkt, um diese Version zu laden.

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

Die folgende Seite verwendet diese Datei: