Toot

Written by julesh on 2025-01-28 at 16:48

I wrote a thing!

Bidirectional Typechecking is Bidirectional

https://cybercat.institute/2025/01/28/bidirectional-typechecking/

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

Mentions

Tags

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

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