Toot
Written by Naïm Camille Favier on 2024-12-13 at 19:32
I answered a question on CS.SE about the "other" dependent generalisations of sum types and function types.
=> More informations about this toot | View the thread | More toots from ncf@types.pl
Mentions
Tags
Proxy Information
- Original URL
- gemini://mastogem.picasoft.net/toot/113647181809074248
- Status Code
- Success (20)
- Meta
text/gemini- Capsule Response Time
- 222.3529 milliseconds
- Gemini-to-HTML Time
- 0.317601 milliseconds
This content has been proxied by September (3851b).