[Munich-lisp] Haskell Hackathon 11.12.2014 12:00 - Agda, HoTT

Haskell Hackathon haskell.hackathon at gmail.com
Sat Jan 10 23:44:40 UTC 2015


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

2015-01-11 0:41 GMT+01:00 Haskell Hackathon <haskell.hackathon at 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




More information about the munich-lisp mailing list