Hi *, am Samstag, 23. August 2014 treffen wir uns um 15.00 in India King für unser Hackathon. Bringt eure Laptops! Die webseite hat jetzt ein Facelift bekommen! Es ist zwar nicht viel Arbeit gewesen, hat aber ein gutes Effekt gehabt. Sagt wie es euch gefällt! http://haskell-hackathon.no-ip.org Twitter-Feed für das Hackathon: https://twitter.com/Haskell_hackers Themen: - Generic programming oder - graphische Simulationen in Gloss - GTK oder - attoparsec -- BERICHT -- 3. August: - ein Beweis für die Gesetze der Komonadeninstanz für nichtleere, binäre Bäume ist vorgeführt worden. Kein beweis ist gut ohne neuer Notation! - das selbe Beweis ist in Isabelle/HOL gemacht worden - über Koinduktion gesprochen und die in Isabelle/HOL versucht - mit Koinduktion die Komonadeninstanz für ein endloses Stream bewiesen - Isabelle/HOL und andere Logiksysteme in Isabelle pauschal verglichen, sowie Coq, Idris, und Agda. Isabelle/HOL kann das Auswahlaxiom verwenden, was viele Beweise einfacher macht - da man keine Konstruktionen vorlegen muss. Dagegen verfügt es nicht über dependent types. - Wir haben uns GHC Generics angeschaut und ein Paar Funktionen mit Generics geschrieben -- 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.