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

2015-01-10 Thread Haskell Hackathon
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

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

2015-01-10 Thread Haskell Hackathon
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