7. Juni 2012
- 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.
- 14:4514:45, 24. Jun. 2011 Unterschied Versionen +69 Bytes N Datei:ChurchTalk.pdf Der Text des Vortrages GPN11:Warum wir noch Mathematiker brauchen
10. Januar 2011
- 15:2215:22, 10. Jan. 2011 Unterschied Versionen +1 Byte K L-seed/GPN-Ergebnisse Auch alte Typos sind blöde Typos. aktuell
10. Juni 2010
- 12:0712:07, 10. Jun. 2010 Unterschied Versionen +34 Bytes GPN10:Keysigning Keine Bearbeitungszusammenfassung
5. November 2009
- 12:4612:46, 5. Nov. 2009 Unterschied Versionen +95 Bytes L-seed →Code
8. Oktober 2009
- 16:3816:38, 8. Okt. 2009 Unterschied Versionen +5 Bytes K Windows Home Server (Vortrag) Jahresazahl rein.
29. Juni 2009
- 10:4010:40, 29. Jun. 2009 Unterschied Versionen −2 Bytes K GPN10:Anregungen →Was auf der GPN9 sein soll
- 10:3910:39, 29. Jun. 2009 Unterschied Versionen +102 Bytes GPN10:Anregungen →Was man auf der GPN8 hätte besser machen können
- 10:3810:38, 29. Jun. 2009 Unterschied Versionen +111 Bytes L-seed Keine Bearbeitungszusammenfassung
- 10:3810:38, 29. Jun. 2009 Unterschied Versionen +780 Bytes GPN8:Code Keine Bearbeitungszusammenfassung