[Munich-lisp] Haskell Hackathon 2.11.2014 - theorem provers, HoTT

[Haskell Hackathon]

Hi *,
am Sonntag, 2. November 2014 treffen wir uns um 18.00 in India King
für unser Hackathon. Bringt eure Laptops!

Die Hackathon-webseite ist jetzt auch auf Englisch! Das waren rund
100k text zu übersetzen... Viel spaß beim lesen!

http://haskell-hackathon.no-ip.org/index_en.html


Themen:

- proof systems: Isabelle/HOL, Agda, Coq

oder

- Buch: Homotopy Type Theory (HoTT)


-- BERICHT --

16. Oktober 2014
- ein Paar der Klasseninstanzen angeschaut: identitätsmonade,
funktoren und monoid für funktionen, ...
- mit Christine darüber gesprochen, wie man ein beginner-kurs für
Haskell betreiben könnte. Eine Idee war es, ein Buch in einer Gruppe
durchzulesen. Eine weitere Idee war es, Tutorials eins nach dem
anderen durchzugehen. Man könnte auch Übungen machen.
- darüber gesprochen, wie man eine Community betreiben soll; wie sie
sich entwickelt und wie man es schafft den zutritt neuer Teilnehmer
nicht zu verhindern.
- das Buch "Haskell-Intensivkurs" durchgeschaut:
  http://www.amazon.de/Haskell-Intensivkurs-Kompakter-Funktionale-Programmierung-Xpert-press/dp/3642047173


-- 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