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