haskell-cafe

2024-04-01 - 2024-05-01 (76 messages)

2024-03-01 - 2024-04-01 (55 messages)

2024-02-01 - 2024-03-01 (23 messages)

  1. 2024-03-31 [13] [Haskell-cafe] Hackage: "Build: PlanningFailed"                          haskell-cafe Andrew Lelechenko 
  2. 2024-03-31 [10] [Haskell-cafe] Cabal install fails, don't understand why                 haskell-cafe Andrew Lelechenko 
  3. 2024-03-30  [1] [Haskell-cafe] PostDoc in using Formal Methods for finding security vuln haskell-cafe Achim D. Brucker 
  4. 2024-03-29  [2] [Haskell-cafe] [ANNOUNCE] GHC 9.10.1-alpha1 is now available             haskell-cafe Ben Gamari 
  5. 2024-03-25  [1] [Haskell-cafe] Volunteers for ICFP 2024 Artifact Evaluation Committee (A haskell-cafe Benoit Montagu 
  6. 2024-03-21  [4] [Haskell-cafe] Requesting For Comments for a new simple-dsp library      haskell-cafe Henning Thielemann 
  7. 2024-03-21  [2] [Haskell-cafe] my ancient hackage account                                haskell-cafe Francesco Ariis 
  8. 2024-03-20  [1] [Haskell-cafe] Funded PhD Position in Formalizing/Verification of Golang haskell-cafe Achim D. Brucker 
  9. 2024-03-19  [1] [Haskell-cafe] Utrecht Summer School on Advanced Functional Programming  haskell-cafe Wouter Swierstra via 
 10. 2024-03-17  [5] [Haskell-cafe] Bing/Copilot Answer: "->", has highest precedence for typ haskell-cafe Richard OKeefe 
 11. 2024-03-15  [1] [Haskell-cafe] Call for Papers: OOPSLA 2024                              haskell-cafe Umar Farooq 
 12. 2024-03-13  [1] [Haskell-cafe] FUNARCH 2024: Call for Papers                             haskell-cafe ICFP Publicity via Ha
 13. 2024-03-13  [1] [Haskell-cafe] Call for Papers: ACM Workshop on Functional Software Arch haskell-cafe Michael Sperber 
 14. 2024-03-11  [1] [Haskell-cafe] CFP: Haskell Symposium 2024                               haskell-cafe J. Garrett Morris 
 15. 2024-03-11  [1] [Haskell-cafe] ICFP 2024: Call for Tutorials                             haskell-cafe ICFP Publicity via Ha
 16. 2024-03-09  [3] [Haskell-cafe] Package takeover: bzlib                                   haskell-cafe Andrew Lelechenko 
 17. 2024-03-08  [1] [Haskell-cafe] [ANN] Copilot 3.19                                        haskell-cafe Ivan Perez 
 18. 2024-03-06  [1] [Haskell-cafe] [ANN] Agda-2.6.4.3                                        haskell-cafe Andreas Abel 
 19. 2024-03-05  [1] [Haskell-cafe] PLMW@PLDI 2024: Call for Scholarship Applications         haskell-cafe Yao Li 
 20. 2024-03-05  [1] [Haskell-cafe] 2024 Haskell Ecosystem Workshop, June 6-7, co-located wit haskell-cafe Jose Calderon via Has
 21. 2024-03-04  [1] [Haskell-cafe] Midlands Graduate School (MGS)                            haskell-cafe Graham Hutton via Has
 22. 2024-03-01  [2] Re: [Haskell-cafe] Is it possible to type a function to accept only lite haskell-cafe Oleg Grenrus