[Agda] REMINDER: Haskell Communities and Activities Report, May 2011 edition

Janis Voigtländer jv at informatik.uni-bonn.de
Wed Apr 27 17:44:47 CEST 2011


Dear all,

It is not yet too late to contribute to the 20th edition of the

================================================================
            Haskell Communities & Activities Report
                  http://tinyurl.com/haskcar

               Submission deadline: this weekend

     (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/2011-April/022720.html

I look 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