November 2024 Archives by thread

• Messages sorted by: [ subject ] [ 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] 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] Journal of Functional Programming - Call for PhD Abstracts   Graham Hutton
• [Haskell-cafe] PhD Scholarship at St Andrews   Christopher Brown
• [Haskell-cafe] ICFP 2025: Call for Papers   ICFP Publicity
• [Haskell-cafe] 2nd Call for Contributions: BOB 2025 (Berlin, March 14 - Deadline Nov 15)   Stefan Wehr
• [Haskell-cafe] [ANNOUNCE] GHC 9.12.1-alpha2 is now available   Zubin Duggal
• [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
• [Haskell-cafe] [3 days to go!] Functional Conf 2025 - Call for Proposals closes 17 November   John Sinclair

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

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