[Agda] Re: [Haskell-cafe] ANNOUNCE: Haskell Communities and Activities Report (15th ed., November 2008)

Don Stewart dons at galois.com
Sat Nov 29 01:15:30 CET 2008


Good work!

It is always interesting to see the secret Haskell projects that only
get announced via the HCAR. Things not on haskell@ or on hackage.

For example, this under-the-radar project:

    http://www.haskell.org/communities/11-2008/html/report.html#sect7.7

    7.7  IVU Traffic Technologies AG Rostering Group

Haskell to solve constraints on EU bus timetables! In production use!    

-- Don


voigt:
> On behalf of the many, many contributors, I am pleased to announce
> that the
> 
>             Haskell Communities and Activities Report
>                   (15th edition, November 2008)
> 
>                http://www.haskell.org/communities/
> 
> is now available from the Haskell Communities home page in PDF and
> HTML formats.


More information about the Agda mailing list