Toot

Written by Joey Eremondi on 2025-01-27 at 21:20

@julesh What is polymorphic dependent types theory? One with a universe?

=> More informations about this toot | View the thread | More toots from joey@mathstodon.xyz

Mentions

=> View julesh@mathstodon.xyz profile

Tags

Proxy Information
Original URL
gemini://mastogem.picasoft.net/toot/113902408928793902
Status Code
Success (20)
Meta
text/gemini
Capsule Response Time
219.807205 milliseconds
Gemini-to-HTML Time
0.314086 milliseconds

This content has been proxied by September (3851b).