[Agda] REMINDER: Haskell Communities and Activities Report
Janis Voigtländer
jv at informatik.uni-bonn.de
Fri Apr 30 08:09:53 CEST 2010
Dear all,
It is not yet too late to contribute to the 18th edition of HCAR.
If you haven't already, please write an entry for your new project or
update your old entry, and send to me this weekend or early next week.
More information about format etc. can be found in the original call:
http://www.haskell.org/pipermail/haskell/2010-April/022012.html
I am looking forward to receiving your contributions,
Janis (current editor)
--
Jun.-Prof. Dr. Janis Voigtländer
http://www.iai.uni-bonn.de/~jv/
mailto:jv at iai.uni-bonn.de
More information about the Agda
mailing list