September 2023 Archives by author

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

Starting: Sun Sep 10 16:32:52 CEST 2023
Ending: Sat Sep 30 18:25:16 CEST 2023
Messages: 3

• [Agda-dev] [ANNOUNCE] Agda 2.6.4 release candidate 2   Andreas Abel
• [Agda-dev] [ANNOUNCE] Agda 2.6.4 release candidate 3   Andreas Abel
• [Agda-dev] Takeover of Agda mode for VS Code?   Liang-Ting Chen

Last message date: Sat Sep 30 18:25:16 CEST 2023
Archived on: Sat Sep 30 18:25:21 CEST 2023

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