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

Haskell Hackathon haskell.hackathon at gmail.com
Sat Nov 29 16:49:09 UTC 2014


Hi *,
am Sonntag, 30. November 2014 treffen wir uns um 12: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)

oder

- wir hacken ein bisschen an Android rum, um später ein Haskell DSL zu
schreiben welches auf Android Apps runterkompiliert


-- BERICHT --

16. November 2014
- über Agda gesprochen und darüber, was Theorem Prover sind
- wofür die gut sind
- Haskell installiert
- Agda installiert
- Emacs installiert und für Agda konfiguriert



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