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-caf Andrew Lelechenk
  2. 2024-03-31 [10] [Haskell-cafe] Cabal install fails, don't understand why   haskell-caf Andrew Lelechenk
  3. 2024-03-30  [1] [Haskell-cafe] PostDoc in using Formal Methods for finding haskell-caf Achim D. Brucker
  4. 2024-03-29  [2] [Haskell-cafe] [ANNOUNCE] GHC 9.10.1-alpha1 is now availab haskell-caf Ben Gamari 
  5. 2024-03-25  [1] [Haskell-cafe] Volunteers for ICFP 2024 Artifact Evaluatio haskell-caf Benoit Montagu 
  6. 2024-03-21  [4] [Haskell-cafe] Requesting For Comments for a new simple-ds haskell-caf Henning Thielema
  7. 2024-03-21  [2] [Haskell-cafe] my ancient hackage account                  haskell-caf Francesco Ariis 
  8. 2024-03-20  [1] [Haskell-cafe] Funded PhD Position in Formalizing/Verifica haskell-caf Achim D. Brucker
  9. 2024-03-19  [1] [Haskell-cafe] Utrecht Summer School on Advanced Functiona haskell-caf Wouter Swierstra
 10. 2024-03-17  [5] [Haskell-cafe] Bing/Copilot Answer: "->", has highest prec haskell-caf Richard OKeefe 
 11. 2024-03-15  [1] [Haskell-cafe] Call for Papers: OOPSLA 2024                haskell-caf Umar Farooq 
 12. 2024-03-13  [1] [Haskell-cafe] FUNARCH 2024: Call for Papers               haskell-caf ICFP Publicity v
 13. 2024-03-13  [1] [Haskell-cafe] Call for Papers: ACM Workshop on Functional haskell-caf Michael Sperber 
 14. 2024-03-11  [1] [Haskell-cafe] CFP: Haskell Symposium 2024                 haskell-caf J. Garrett Morri
 15. 2024-03-11  [1] [Haskell-cafe] ICFP 2024: Call for Tutorials               haskell-caf ICFP Publicity v
 16. 2024-03-09  [3] [Haskell-cafe] Package takeover: bzlib                     haskell-caf Andrew Lelechenk
 17. 2024-03-08  [1] [Haskell-cafe] [ANN] Copilot 3.19                          haskell-caf Ivan Perez 
 18. 2024-03-06  [1] [Haskell-cafe] [ANN] Agda-2.6.4.3                          haskell-caf Andreas Abel 
 19. 2024-03-05  [1] [Haskell-cafe] PLMW@PLDI 2024: Call for Scholarship Applic haskell-caf Yao Li 
 20. 2024-03-05  [1] [Haskell-cafe] 2024 Haskell Ecosystem Workshop, June 6-7,  haskell-caf Jose Calderon vi
 21. 2024-03-04  [1] [Haskell-cafe] Midlands Graduate School (MGS)              haskell-caf Graham Hutton vi
 22. 2024-03-01  [2] Re: [Haskell-cafe] Is it possible to type a function to ac haskell-caf Oleg Grenrus