January 2025 Archives by date

Starting: Mon Jan 13 14:14:55 GMT 2025
Ending: Thu Jan 30 16:15:59 GMT 2025
Messages: 6

[msp-interest] New msp-interest mailing list address Fredrik Nordvall Forsberg
[msp-interest] [MSP101] April Gonçalves: Type-Sensitive Algebraic Macros (LT1414a, 1pm Fri 17-Jan) Dilsat Yuksel
[msp-interest] Re: [MSP101] April Gonçalves: Type-Sensitive Algebraic Macros (LT1414a, 1pm Fri 17-Jan) Fredrik Nordvall Forsberg
[msp-interest] [MSP101] Conor McBride: My Favourite Double Category (LT412, 3pm Mon 20-Jan) Dilsat Yuksel
[msp-interest] [MSP101] André Videla: Pipelining and dependent types (LT412, 3pm Mon 27-Jan) Dilsat Yuksel
[msp-interest] [MSP101] Jules Hedges: We solved dependent optics! (LT209, 3pm Mon 3-Feb) Dilsat Yuksel

Last message date: Thu Jan 30 16:15:59 GMT 2025
Archived on: Thu Jan 30 16:17:00 GMT 2025

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