[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