November 2024 Archives by subject

• Messages sorted by: [ thread ] [ author ] [ date ]
• More info on this list...

Starting: Fri Nov 1 13:44:51 UTC 2024
Ending: Thu Nov 14 02:00:51 UTC 2024
Messages: 18

• [Haskell-cafe] 2nd Call for Contributions: BOB 2025 (Berlin, March 14 - Deadline Nov 15)   Stefan Wehr
• [Haskell-cafe] [3 days to go!] Functional Conf 2025 - Call for Proposals closes 17 November   John Sinclair
• [Haskell-cafe] [ANNOUNCE] GHC 9.12.1-alpha2 is now available   Zubin Duggal
• [Haskell-cafe] Derive ET from DN in calculus of constructions   Dmitriy Matrosov
• [Haskell-cafe] Derive ET from DN in calculus of constructions   Tom Smeding
• [Haskell-cafe] Derive ET from DN in calculus of constructions   Brent Yorgey
• [Haskell-cafe] Derive ET from DN in calculus of constructions   Albert Y. C. Lai
• [Haskell-cafe] Derive ET from DN in calculus of constructions   mukesh tiwari
• [Haskell-cafe] Derive ET from DN in calculus of constructions   Olaf Klinke
• [Haskell-cafe] Derive ET from DN in calculus of constructions   Dmitriy Matrosov
• [Haskell-cafe] ICFP 2025: Call for Papers   ICFP Publicity
• [Haskell-cafe] Journal of Functional Programming - Call for PhD Abstracts   Graham Hutton
• [Haskell-cafe] PhD Scholarship at St Andrews   Christopher Brown
• [Haskell-cafe] Problem with Haskellwiki - Backend not available   Henk-Jan van Tuyl
• [Haskell-cafe] Problem with Haskellwiki - Backend not available   Jose Calderon
• [Haskell-cafe] wiki.haskell.org appears to be down   Markus Läll
• [Haskell-cafe] wiki.haskell.org appears to be down   Bryan Richter
• [Haskell-cafe] wiki.haskell.org appears to be down   Markus Läll

Last message date: Thu Nov 14 02:00:51 UTC 2024
Archived on: Thu Nov 14 01:58:31 UTC 2024

• Messages sorted by: [ thread ] [ author ] [ date ]
• More info on this list...