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

Themen:

- Agda: wir versuchen ein einfaches Programm zu schreiben

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

2. November 2014 - wir haben HoTT gelesen - wir haben uns theorem prover angeschaut und vergliechen: Agda, Coq, Isabelle/HOL, Idris. - Nur Agda und Coq sind für HoTT nutzbar - Idris und Isabelle/HOL sind aber für viele Sachen viel mehr praktisch

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