Die folgenden Seiten verlinken auf GPN12:Agda - Mit starken Typen abhängen:
Angezeigt werden 12 Einträge.
- Übersicht über Vorträge (← Links)
- GPN12:Kinect-Touchpad (← Links)
- GPN12:Schichtplan (← Links)
- GPN12:Fahrplan (← Links)
- GPN12:Häkeln (← Links)
- GPN12:Info Beamer Hacking (← Links)
- GPN12:3D Printing - code, drucken, nerfgun (← Links)
- GPN12:systemd (← Links)
- GPN12:Go – eine moderne Programmiersprache (← Links)
- GPN12:Steal This Talk (← Links)
- GPN12:Maintainern 101 (← Links)
- GPN12:You are HERO - Questdesign im Real Life (← Links)