August 2026 Archives by thread

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

Starting: Sun Aug 2 06:08:03 AEST 2026
Ending: Sat Aug 29 22:20:05 AEST 2026
Messages: 7

• [m-dev.] two questions about coercions   Zoltan Somogyi
  • [m-dev.] two questions about coercions   Peter Wang
    • [m-dev.] two questions about coercions   Zoltan Somogyi
• [m-dev.] proposal: rename the modules of the first termination analyzer   Zoltan Somogyi
  • [m-dev.] proposal: rename the modules of the first termination analyzer   Julien Fischer
    • [m-dev.] proposal: rename the modules of the first termination analyzer   Zoltan Somogyi
      • [m-dev.] proposal: rename the modules of the first termination analyzer   Zoltan Somogyi

Last message date: Sat Aug 29 22:20:05 AEST 2026
Archived on: Sat Aug 29 22:20:11 AEST 2026

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