September 2026 Archives by thread

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

Starting: Thu Sep 3 11:45:12 UTC 2026
Ending: Tue Sep 15 17:00:14 UTC 2026
Messages: 57

Second draft: Sum Type by Struct monkyyy
- Second draft: Sum Type by Struct Richard Andrew Cattermole (Rikki)
  - Second draft: Sum Type by Struct DanielG
    - Second draft: Sum Type by Struct Richard (Rikki) Andrew Cattermole
    - Second draft: Sum Type by Struct DanielG
  - Second draft: Sum Type by Struct Meta
    - Second draft: Sum Type by Struct Richard Andrew Cattermole (Rikki)
    - Second draft: Sum Type by Struct xoxorwr
    - Second draft: Sum Type by Struct Meta
    - Second draft: Sum Type by Struct Richard (Rikki) Andrew Cattermole
    - Second draft: Sum Type by Struct Meta
    - Second draft: Sum Type by Struct Richard (Rikki) Andrew Cattermole
    - Second draft: Sum Type by Struct Meta
    - Second draft: Sum Type by Struct Richard (Rikki) Andrew Cattermole
    - Second draft: Sum Type by Struct Nick Treleaven
    - Second draft: Sum Type by Struct Richard (Rikki) Andrew Cattermole
    - Second draft: Sum Type by Struct Nick Treleaven
    - Second draft: Sum Type by Struct Meta
    - Second draft: Sum Type by Struct Nick Treleaven
    - Second draft: Sum Type by Struct Richard (Rikki) Andrew Cattermole
    - Second draft: Sum Type by Struct Nick Treleaven
    - Second draft: Sum Type by Struct Richard (Rikki) Andrew Cattermole
    - Second draft: Sum Type by Struct Nick Treleaven
    - Second draft: Sum Type by Struct Meta
    - Second draft: Sum Type by Struct Richard (Rikki) Andrew Cattermole
    - Second draft: Sum Type by Struct Nick Treleaven
    - Second draft: Sum Type by Struct Richard (Rikki) Andrew Cattermole
  - Second draft: Sum Type by Struct MaxB
    - Second draft: Sum Type by Struct Richard (Rikki) Andrew Cattermole
  - Second draft: Sum Type by Struct MaxB
    - Second draft: Sum Type by Struct Richard (Rikki) Andrew Cattermole
  - Second draft: Sum Type by Struct MaxB
    - Second draft: Sum Type by Struct Richard (Rikki) Andrew Cattermole
  - OT: Thunderbird Markdown plugin updated David Gileadi
  - Second draft: Sum Type by Struct Per Nordlöw
    - Second draft: Sum Type by Struct Per Nordlöw
    - Second draft: Sum Type by Struct Richard (Rikki) Andrew Cattermole
    - Second draft: Sum Type by Struct Per Nordlöw
    - Second draft: Sum Type by Struct Richard (Rikki) Andrew Cattermole
    - Second draft: Sum Type by Struct Per Nordlöw
    - Second draft: Sum Type by Struct Richard (Rikki) Andrew Cattermole
    - Second draft: Sum Type by Struct Per Nordlöw
    - Second draft: Sum Type by Struct Per Nordlöw
    - Second draft: Sum Type by Struct Richard (Rikki) Andrew Cattermole
- Second draft: Sum Type by Struct Richard (Rikki) Andrew Cattermole
First Draft: Nominal Sum Types via `enum union` and `switch` Expressions Meta
- First Draft: Nominal Sum Types via `enum union` and `switch` Expressions Meta
- First Draft: Nominal Sum Types via `enum union` and `switch` Expressions Nick Treleaven
  - First Draft: Nominal Sum Types via `enum union` and `switch` Expressions Richard (Rikki) Andrew Cattermole
  - First Draft: Nominal Sum Types via `enum union` and `switch` Expressions Meta
    - First Draft: Nominal Sum Types via `enum union` and `switch` Expressions Paul Backus
    - First Draft: Nominal Sum Types via `enum union` and `switch` Expressions Meta
- First Draft: Nominal Sum Types via `enum union` and `switch` Expressions DanielG
  - First Draft: Nominal Sum Types via `enum union` and `switch` Expressions Meta
- First Draft: Nominal Sum Types via `enum union` and `switch` Expressions Dennis
  - First Draft: Nominal Sum Types via `enum union` and `switch` Expressions Meta
    - First Draft: Nominal Sum Types via `enum union` and `switch` Expressions Dennis

Last message date: Tue Sep 15 17:00:14 UTC 2026
Archived on: Tue Sep 15 17:05:04 UTC 2026

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

This archive was generated by Pipermail 0.09 (Mailman edition).