Datei:AgdaTalk-Slides.pdf

aus dem Wiki des Entropia e.V., CCC Karlsruhe
Wechseln zu:Navigation, Suche
AgdaTalk-Slides.pdf(Dateigröße: 773 KB, MIME-Typ: application/pdf)

Dateiversionen

Klicke auf einen Zeitpunkt, um diese Version zu laden.

Version vomMaßeBenutzerKommentar
aktuell23:45, 7. Jun. 2012 (773 KB)Nomeata (Diskussion | Beiträge)Sozi-Folien zu GPN12:Agda - Mit starken Typen abhängen
  • Du kannst diese Datei nicht überschreiben.

Die folgende Seite verwendet diese Datei: