[Agda] REMINDER: Haskell Communities and Activities Report,
November 2010 edition
Janis Voigtländer
jv at informatik.uni-bonn.de
Tue Oct 26 06:14:10 CEST 2010
Dear all,
It is not yet too late to contribute to the 19th edition of the
================================================================
Haskell Communities & Activities Report
http://www.haskell.org/communities/
Submission deadline: early next week
(please send your contributions to hcar at haskell.org,
in plain text or LaTeX format)
================================================================
If you haven't already, please write an entry for your new project or
update your old entry.
More information can be found in the original Call for Contributions at
http://www.haskell.org/pipermail/haskell/2010-October/022326.html
I am looking forward to 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