Toot
Written by Andre Videla on 2025-01-30 at 11:37
Writing down how to read bidirectional typechecking rules, is that correct @pigworker ?
=> View attached media
=> More informations about this toot | View the thread | More toots from Andrev@types.pl
Mentions
=> View pigworker@types.pl profile
Tags
Proxy Information
- Original URL
- gemini://mastogem.picasoft.net/toot/113917104693611763
- Status Code
- Success (20)
- Meta
text/gemini- Capsule Response Time
- 220.79461 milliseconds
- Gemini-to-HTML Time
- 0.257262 milliseconds
This content has been proxied by September (3851b).
