Datei:AgdaTalk.pdf
aus dem Wiki des Entropia e.V., CCC Karlsruhe
Zur Navigation springenZur Suche springen
AgdaTalk.pdf (Dateigröße: 176 KB, MIME-Typ: application/pdf)
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:
