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.
Mirror git-Repo GPN12:Agda - Mit starken Typen abhängen
Dateiversionen
Klicke auf einen Zeitpunkt, um diese Version zu laden.
| Version vom | Maße | Benutzer | Kommentar | |
|---|---|---|---|---|
| aktuell | 11:52, 6. Jul. 2012 | (370 KB) | Neingeist (Diskussion | Beiträge) | Mirror git-Repo GPN12:Agda - Mit starken Typen abhängen Kategorie:GPN12 |
Du kannst diese Datei nicht überschreiben.
Dateiverwendung
Die folgende Seite verwendet diese Datei: