10. Juni 2012
- 01:2901:29, 10. Jun. 2012 Unterschied Versionen +23 Bytes GPN12:Gamejam:Misplaced →How to compile
9. Juni 2012
- 23:5623:56, 9. Jun. 2012 Unterschied Versionen +432 Bytes GPN13:Anregungen →Was auf der GPN12 nicht so geil war
- 23:5323:53, 9. Jun. 2012 Unterschied Versionen +3 Bytes GPN13:Anregungen →Was auf der GPN12 geil war
- 21:3921:39, 9. Jun. 2012 Unterschied Versionen 0 Bytes Datei:Misplaced.tar.gz lud eine neue Version von „Datei:Misplaced.tar.gz“ hoch
- 21:3521:35, 9. Jun. 2012 Unterschied Versionen +9 Bytes GPN12:Gamejam:Misplaced Keine Bearbeitungszusammenfassung
- 21:3021:30, 9. Jun. 2012 Unterschied Versionen +25 Bytes N Datei:Misplaced.tar.gz GPN12:Gamejam Beitrag
8. Juni 2012
- 10:3310:33, 8. Jun. 2012 Unterschied Versionen +172 Bytes GPN12:Agda - Mit starken Typen abhängen Keine Bearbeitungszusammenfassung
7. Juni 2012
- 23:5123:51, 7. Jun. 2012 Unterschied Versionen +481 Bytes GPN12:Agda - Mit starken Typen abhängen Post-Vortrags-Upload
- 23:4523:45, 7. Jun. 2012 Unterschied Versionen +59 Bytes N Datei:AgdaTalk-Slides.pdf Sozi-Folien zu GPN12:Agda - Mit starken Typen abhängen
- 23:4523:45, 7. Jun. 2012 Unterschied Versionen +48 Bytes K Datei:AgdaTalk.pdf Keine Bearbeitungszusammenfassung
- 23:4523:45, 7. Jun. 2012 Unterschied Versionen +19 Bytes N Datei:AgdaTalk.pdf Vortrags-Tansskript
4. Juni 2012
- 09:3409:34, 4. Jun. 2012 Unterschied Versionen +1.496 Bytes N GPN12:Agda - Mit starken Typen abhängen Die Seite wurde neu angelegt: „{{#css:GPN12:Stylesheet}} Vortrag von nomeata auf der GPN12. <blockquote> Agda: is it a dependently-typed programming language? Is it a proof-assistant b…“
14. September 2011
- 14:5014:50, 14. Sep. 2011 Unterschied Versionen −1 Byte K Talkshow Keine Bearbeitungszusammenfassung
- 14:5014:50, 14. Sep. 2011 Unterschied Versionen −1 Byte K Talkshow Keine Bearbeitungszusammenfassung
1. September 2011
- 17:3917:39, 1. Sep. 2011 Unterschied Versionen −89 Bytes GPN GPN11 Vorbereitungen... hoffentlich nicht mehr.
18. Juli 2011
- 21:1721:17, 18. Jul. 2011 Unterschied Versionen 0 Bytes Datei:ChurchTalk.pdf hat eine neue Version von „Datei:ChurchTalk.pdf“ hochgeladen: Typos
26. Juni 2011
- 22:2722:27, 26. Jun. 2011 Unterschied Versionen +322 Bytes GPN12:Anregungen →Was auf der GPN11 nicht so geil war
- 22:1922:19, 26. Jun. 2011 Unterschied Versionen +2 Bytes GPN12:Anregungen →Was auf der GPN11 geil war
24. Juni 2011
- 14:4914:49, 24. Jun. 2011 Unterschied Versionen +169 Bytes GPN11:Warum wir noch Mathematiker brauchen Keine Bearbeitungszusammenfassung
- 14:4614:46, 24. Jun. 2011 Unterschied Versionen +112 Bytes N Datei:ChurchTalkEn.pdf Der englische Orginaltext auf dem der Text des Vortrages GPN11:Warum wir noch Mathematiker brauchen basiert.