December 2014 Archives by thread

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

Starting: Sat Dec 6 23:12:30 UTC 2014
Ending: Sat Dec 27 22:55:24 UTC 2014
Messages: 4

• [Munich-lisp] Haskell Hackathon 6.11.2014 12:00 - Agda, HoTT, Android   Haskell Hackathon
• [Munich-lisp] Haskell Hackathon 14.12.2014 12:00 - Agda, HoTT, Android   Haskell Hackathon
• [Munich-lisp] Haskell Hackathon 21.12.2014 12:00 - Agda, HoTT, Android   Haskell Hackathon
• [Munich-lisp] Haskell Hackathon 28.12.2014 12:00 - Agda, HoTT   Haskell Hackathon

Last message date: Sat Dec 27 22:55:24 UTC 2014
Archived on: Wed Apr 8 21:11:38 UTC 2015

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