haskell

2010-11-01 - 2010-12-01 (49 messages)

2010-10-01 - 2010-11-01 (38 messages)

2010-09-01 - 2010-10-01 (39 messages)

  1. 2010-10-31  [1] [Haskell]                                                                haskell      gdweber
  2. 2010-10-31  [9] [Haskell] Specification and prover for Haskell                           haskell      Henk-Jan van Tuyl 
  3. 2010-10-31  [1] [Haskell] ANNOUNCE zeno 0.1.0                                            haskell      Will Sonnex 
  4. 2010-10-30  [1] [Haskell] ANNOUNCE: darcs 2.5                                            haskell      Reinier Lamers 
  5. 2010-10-28  [1] [Haskell] Haskell Weekly News: Issue 156 - October 27, 2010              haskell      Daniel Santa Cruz 
  6. 2010-10-26  [1] [Haskell] ANN: mutable-iter                                              haskell      John Lato 
  7. 2010-10-26  [1] [Haskell] REMINDER: Haskell Communities and Activities Report,           haskell      Janis_Voigtländer 
  8. 2010-10-25  [1] [Haskell] CFP: Term and Graph Rewriting/TERMGRAPH 2011                   haskell      Rachid Echahed 
  9. 2010-10-24  [1] [Haskell] ANNOUNCE: iteratee-compress 0.1.1                              haskell      Maciej Piechotka 
 10. 2010-10-24  [7] [Haskell] Haskell Weekly News: Issue 155 - October 20,                   haskell      Marc A. Ziegert 
 11. 2010-10-22  [1] [Haskell] PostDoc and PhD Positions at Yale University                   haskell      Zhong Shao 
 12. 2010-10-22  [1] [Haskell] ICFP 2011: Call for Workshop Proposals                         haskell      Wouter Swierstra 
 13. 2010-10-22  [1] [Haskell] Deepseq                                                        haskell      Gilmara Pompelli 
 14. 2010-10-19  [1] [Haskell] Postdoc in Functional Programming at Chalmers                  haskell      John Hughes 
 15. 2010-10-18  [3] [Haskell] Help-me read file                                              haskell      kahl
 16. 2010-10-16  [1] [Haskell] New blog on Disciple/DDC development                           haskell      Ben Lippmeier 
 17. 2010-10-12  [1] [Haskell] Call for Contributions - Haskell Communities and               haskell      Janis_Voigtländer 
 18. 2010-10-08  [1] [Haskell] ANNOUNCE: language-c-comments 0.1 package                      haskell      Geoff Hulette 
 19. 2010-10-08  [1] [Haskell] ANNOUNCE: HaskellDB 2.0: Scrap your SQL strings                haskell      Justin Bailey 
 20. 2010-10-07  [1] [Haskell] CFP MSCS Issue: Dependently Typed Programming                  haskell      Conor McBride 
 21. 2010-10-04  [1] [Haskell] ANNOUNCE : shaker 0.4.1                                        haskell      Anthonin Bonnefoy 
 22. 2010-10-04  [1] [Haskell] TLDI 2011: Final CALL FOR PAPERS                               haskell      Stephanie Weirich