From haskell.hackathon at gmail.com Sat Dec 6 23:12:30 2014 From: haskell.hackathon at gmail.com (Haskell Hackathon) Date: Sun, 7 Dec 2014 00:12:30 +0100 Subject: [Munich-lisp] Haskell Hackathon 6.11.2014 12:00 - Agda, HoTT, Android Message-ID: Hi *, am Sonntag, 6. Dezember 2014 treffen wir uns um 12:00 in India King f?r unser Hackathon. Bringt eure Laptops! Themen: - Agda: wir machen weiter mit den Agda-Tutorial: http://oxij.org/note/BrutalDepTypes/ oder - Buch: Homotopy Type Theory (HoTT) oder - wir hacken ein bisschen an Android rum, um sp?ter ein Haskell DSL zu schreiben welches auf Android Apps runterkompiliert -- BERICHT -- 23. November 2014 - ?ber G?del's Reise nach USA gesprochen, und dass er in der U.S. Verfassung Inkonsistenzen gefunden hat... Einstein und die anderen mussten aufpassen, dass er das vorm Immigrationsdienstbeahmten nicht erw?hnt! - ?ber G?del's Unvollst?ndigkeitssatz, und den Zusammenhang mit ZFC-mengenlehre, Typentheorie, HoTT gesprochen - dar?ber gesprochen, was es f?r praktische Anwendungen f?r Beweissysteme in der Industrie gibt - ein gutes Tutorial f?r Agda gefunden: http://oxij.org/note/BrutalDepTypes/ - ?ber Haskel Curry und die Curry-Howard Korrespondenz gesprochen - wir sind im Tutorial bis zu implicit parameters und forall gekommen - wir haben ?ber den Klaus sein Job im Bank gesprochen und auf welche Weisen man die Zusammenh?nge zwischen Bankkonten abbilden k?nnte - ?ber Bigraphen gesprochen -- ANFAHRT -- Wir treffen uns in India King, Landsbergerstr. 491. Webseite: http://www.indiaking.de Karte: https://goo.gl/maps/5g9m6 Anfahrtm?glichkeiten: - S-Bahn nach Pasing nehmen (alle au?er S1, S2 und S7) und dann Tram 19 nach Offenbachstra?e (2 Haltestellen) - Tram 19 von Hauptbahnhof richtung Pasing nehmen bis Offenbachstra?e - Bus 130 oder 131 zum Knie nehmen und dort in die Tram 19 nach Pasing umsteigen, bis Offenbachstra?e - Bus 160 oder 162 nach Offenbachstra?e India King befindet sich genau gegen?ber der Tramhaltestelle. Twitter: https://twitter.com/Haskell_hackers Web: http://haskell-hackathon.no-ip.org English: http://haskell-hackathon.no-ip.org/index_en.html From haskell.hackathon at gmail.com Sat Dec 13 23:27:48 2014 From: haskell.hackathon at gmail.com (Haskell Hackathon) Date: Sun, 14 Dec 2014 00:27:48 +0100 Subject: [Munich-lisp] Haskell Hackathon 14.12.2014 12:00 - Agda, HoTT, Android Message-ID: Hi *, am Sonntag, 14. Dezember 2014 treffen wir uns um 12:00 in India King f?r unser Hackathon. Bringt eure Laptops! Themen: - Agda: wir machen weiter mit den Agda-Tutorial: http://oxij.org/note/BrutalDepTypes/ oder - Buch: Homotopy Type Theory (HoTT) oder - wir hacken ein bisschen an Android rum, um sp?ter ein Haskell DSL zu schreiben welches auf Android Apps runterkompiliert -- BERICHT -- 30. November 2014 - Mit den Agda-Tutorial weitergemacht! - ein Paar neue Kommandos in emacs gelernt -- ANFAHRT -- Wir treffen uns in India King, Landsbergerstr. 491. Webseite: http://www.indiaking.de Karte: https://goo.gl/maps/5g9m6 Anfahrtm?glichkeiten: - S-Bahn nach Pasing nehmen (alle au?er S1, S2 und S7) und dann Tram 19 nach Offenbachstra?e (2 Haltestellen) - Tram 19 von Hauptbahnhof richtung Pasing nehmen bis Offenbachstra?e - Bus 130 oder 131 zum Knie nehmen und dort in die Tram 19 nach Pasing umsteigen, bis Offenbachstra?e - Bus 160 oder 162 nach Offenbachstra?e India King befindet sich genau gegen?ber der Tramhaltestelle. Twitter: https://twitter.com/Haskell_hackers Web: http://haskell-hackathon.no-ip.org English: http://haskell-hackathon.no-ip.org/index_en.html From haskell.hackathon at gmail.com Sun Dec 21 00:11:36 2014 From: haskell.hackathon at gmail.com (Haskell Hackathon) Date: Sun, 21 Dec 2014 01:11:36 +0100 Subject: [Munich-lisp] Haskell Hackathon 21.12.2014 12:00 - Agda, HoTT, Android Message-ID: Hi *, am Sonntag, 21. Dezember 2014 treffen wir uns um 12:00 in India King f?r unser Hackathon. Bringt eure Laptops! Themen: - Agda: wir machen weiter mit den Agda-Tutorial: http://oxij.org/note/BrutalDepTypes/ oder - Buch: Homotopy Type Theory (HoTT) oder - wir hacken ein bisschen an Android rum, um sp?ter ein Haskell DSL zu schreiben welches auf Android Apps runterkompiliert -- BERICHT -- 7. Dezember 2014 - ?ber holes in Agda gelernt - agda-mode tastaturkommandos durchgeschaut - Die automatisierte beweisfunktionen von Agda ausprobiert - Auf mehrere Weisen ein induktives Beweis in Agda durchgef?hrt -- ANFAHRT -- Wir treffen uns in India King, Landsbergerstr. 491. Webseite: http://www.indiaking.de Karte: https://goo.gl/maps/5g9m6 Anfahrtm?glichkeiten: - S-Bahn nach Pasing nehmen (alle au?er S1, S2 und S7) und dann Tram 19 nach Offenbachstra?e (2 Haltestellen) - Tram 19 von Hauptbahnhof richtung Pasing nehmen bis Offenbachstra?e - Bus 130 oder 131 zum Knie nehmen und dort in die Tram 19 nach Pasing umsteigen, bis Offenbachstra?e - Bus 160 oder 162 nach Offenbachstra?e India King befindet sich genau gegen?ber der Tramhaltestelle. Twitter: https://twitter.com/Haskell_hackers Web: http://haskell-hackathon.no-ip.org English: http://haskell-hackathon.no-ip.org/index_en.html From haskell.hackathon at gmail.com Sat Dec 27 22:55:24 2014 From: haskell.hackathon at gmail.com (Haskell Hackathon) Date: Sat, 27 Dec 2014 23:55:24 +0100 Subject: [Munich-lisp] Haskell Hackathon 28.12.2014 12:00 - Agda, HoTT Message-ID: Hi *, am Sonntag, 28. Dezember 2014 treffen wir uns um 12:00 in India King f?r unser Hackathon. Bringt eure Laptops! Themen: - Agda: wir machen weiter mit den Agda-Tutorial: http://oxij.org/note/BrutalDepTypes/ oder - Buch: Homotopy Type Theory (HoTT) -- BERICHT -- 14. Dezember 2014 - ?ber das "mutual" keyword in Agda gelernt - die kommutativit?t einer eigenschaft in einem beweis benutzt - induktive beweise benutzt - ?ber negative beweise gelernt - ?ber elimination gelernt -- ANFAHRT -- Wir treffen uns in India King, Landsbergerstr. 491. Webseite: http://www.indiaking.de Karte: https://goo.gl/maps/5g9m6 Anfahrtm?glichkeiten: - S-Bahn nach Pasing nehmen (alle au?er S1, S2 und S7) und dann Tram 19 nach Offenbachstra?e (2 Haltestellen) - Tram 19 von Hauptbahnhof richtung Pasing nehmen bis Offenbachstra?e - Bus 130 oder 131 zum Knie nehmen und dort in die Tram 19 nach Pasing umsteigen, bis Offenbachstra?e - Bus 160 oder 162 nach Offenbachstra?e India King befindet sich genau gegen?ber der Tramhaltestelle. Twitter: https://twitter.com/Haskell_hackers Web: http://haskell-hackathon.no-ip.org English: http://haskell-hackathon.no-ip.org/index_en.html