[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