November 2014 Archives by subject

• Messages sorted by: [ thread ] [ author ] [ date ]
• More info on this list...

Starting: Sat Nov 1 22:52:14 UTC 2014
Ending: Sat Nov 29 16:49:09 UTC 2014
Messages: 6

• [Munich-lisp] Haskell Hackathon 16.11.2014 - theorem provers, HoTT, Android   Haskell Hackathon
• [Munich-lisp] Haskell Hackathon 2.11.2014 - theorem provers, HoTT   Haskell Hackathon
• [Munich-lisp] Haskell Hackathon 23.11.2014 - Agda, HoTT, Android   Haskell Hackathon
• [Munich-lisp] Haskell Hackathon 30.11.2014 12:00 - Agda, HoTT, Android   Haskell Hackathon
• [Munich-lisp] Haskell Hackathon Mittwoch, 5.11.2014 - Agda, HoTT   Haskell Hackathon
• [Munich-lisp] Munich Haskell Meeting, 2014-11-26 @ 19:30   Christian Neukirchen

Last message date: Sat Nov 29 16:49:09 UTC 2014
Archived on: Wed Apr 8 21:11:38 UTC 2015

• Messages sorted by: [ thread ] [ author ] [ date ]
• More info on this list...