Datei:AgdaTalk.pdf: Unterschied zwischen den Versionen

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

Aktuelle Version vom 7. Juni 2012, 23:45 Uhr

Vortrags-Tansskript zu GPN12:Agda - Mit starken Typen abhängen

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
  • Du kannst diese Datei nicht überschreiben.

Die folgende Seite verwendet diese Datei: