Zur klarifizierung: das Event findet um 18 Uhr statt. :-)

2015-01-11 0:41 GMT+01:00 Haskell Hackathon haskell.hackathon@gmail.com:

Hi *, am Sonntag, 11. Januar 2015 treffen wir uns um 18: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 --

21. Dezember 2014

• mit den Agda-Tutorial weitergemacht
• ein paar einfache Thesen mit Agda bewiesen

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