Datei:AgdaTalk.pdf: Unterschied zwischen den Versionen
aus dem Wiki des Entropia e.V., CCC Karlsruhe
Zur Navigation springenZur Suche springen
(Vortrags-Tansskript) |
(Kategorien aus der Dose.) |
||
| (Eine dazwischenliegende Version von einem anderen Benutzer wird nicht angezeigt) | |||
| Zeile 1: | Zeile 1: | ||
Vortrags-Tansskript | Vortrags-Tansskript zu [[GPN12:Agda - Mit starken Typen abhängen]] | ||
[[Kategorie:GPN12]] | |||
Aktuelle Version vom 16. Juni 2015, 22:31 Uhr
Vortrags-Tansskript 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 | 22:45, 7. Jun. 2012 | (176 KB) | Nomeata (Diskussion | Beiträge) | Vortrags-Tansskript |
Du kannst diese Datei nicht überschreiben.
Dateiverwendung
Die folgende Seite verwendet diese Datei:
