Datei:Darcs-mirror-gpn12-agda-talk.tar.gz

aus dem Wiki des Entropia e.V., CCC Karlsruhe
Version vom 6. Juli 2012, 10:52 Uhr von Neingeist (Diskussion | Beiträge) (Mirror git-Repo GPN12:Agda - Mit starken Typen abhängen Kategorie:GPN12)
(Unterschied) ← Nächstältere Version | Aktuelle Version (Unterschied) | Nächstjüngere Version → (Unterschied)

Darcs-mirror-gpn12-agda-talk.tar.gz(Dateigröße: 370 KB, MIME-Typ: application/x-gzip)

Warnung: Dieser Dateityp kann böswilligen Programmcode enthalten. Durch das Herunterladen und Öffnen der Datei kann dein Computer beschädigt werden.

Dateiversionen

Klicke auf einen Zeitpunkt, um diese Version zu laden.

Version vomMaßeBenutzerKommentar
aktuell10:52, 6. Jul. 2012 (370 KB)Neingeist (Diskussion | Beiträge)Mirror git-Repo GPN12:Agda - Mit starken Typen abhängen Kategorie:GPN12

Die folgende Seite verwendet diese Datei: