Die folgenden Seiten verlinken auf GPN12:Agda - Mit starken Typen abhängen:
Angezeigt werden 21 Einträge.
- GPN12:meillo's mail handler (← Links)
- GPN12:Crash Course Lua (← Links)
- GPN12:Lightning Talks (← Links)
- GPN12:Klangsynthese und Live-Coding mit SuperCollider (← Links)
- GPN12:BubbleTea selber bauen (← Links)
- GPN12:Location Based Games - Spiele im Stadtraum (← Links)
- GPN12:Angriffe auf Wireless Local Area Networks (← Links)
- GPN12:Introduction to Tahoe-LAFS (← Links)
- GPN12:Wunderwelt des SSH – mehr als nur Telnet mit Crypto (← Links)
- GPN12:Heterosexismus hacken (← Links)
- GPN12:Urban Hacking - Hacking the Public Space (← Links)
- GPN12:Arduino Selbsthilfegruppe (← Links)
- GPN12:What to hack (← Links)
- GPN12:Homeautomationsplausch (← Links)
- GPN12:Evolution im täglichen Leben und warum "Intelligent Design" auf den Lehrplan gehört (← Links)
- GPN12:3D Printing - code, drucken, nerfgun/Linkliste (← Links)
- GPN12:Crunchman's Memoirs (← Links)
- Datei:AgdaTalk.pdf (← Links)
- Datei:AgdaTalk-Slides.pdf (← Links)
- Datei:Darcs-mirror-gpn12-agda-talk.tar.gz (← Links)
- Vorlage:Navigationsleiste GPN12:Vorträge (← Links)