Zur klarifizierung: das Event findet um 18 Uhr statt. :-) 2015-01-11 0:41 GMT+01:00 Haskell Hackathon <haskell.hackat...@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
_______________________________________________ Munich-lisp mailing list Munich-lisp@common-lisp.net http://mailman.common-lisp.net/cgi-bin/mailman/listinfo/munich-lisp
