Ancestors
Toot
Written by Guillaume Munch-Maccagnoni on 2024-09-06 at 09:40
The story of linear type systems #icfp2024
=> View attached media
=> More informations about this toot | More toots from gadmm@mathstodon.xyz
Descendants
Proxy Information
- Original URL
- gemini://mastogem.picasoft.net/thread/113089945126173932
- Status Code
- Success (20)
- Meta
text/gemini- Capsule Response Time
- 238.566186 milliseconds
- Gemini-to-HTML Time
- 0.360162 milliseconds
This content has been proxied by September (3851b).