Toot
Written by Naïm Camille Favier on 2024-11-13 at 18:06
@tito Fair, but that kind of discipline is already some kind of type theory in my mind.
=> More informations about this toot | View the thread | More toots from ncf@types.pl
Mentions
=> View tito@sciences.re profile
Tags
Proxy Information
- Original URL
- gemini://mastogem.picasoft.net/toot/113476973206994695
- Status Code
- Success (20)
- Meta
text/gemini- Capsule Response Time
- 238.915389 milliseconds
- Gemini-to-HTML Time
- 0.287034 milliseconds
This content has been proxied by September (3851b).