Ancestors
Toot
Written by arialdo on 2025-01-12 at 08:51
Chapter 8 of Type Driven Development with #Idris is really tough and fascinating.
=> More informations about this toot | More toots from arialdo@mastodon.online
Descendants
Proxy Information
- Original URL
- gemini://mastogem.picasoft.net/thread/113814530379629681
- Status Code
- Success (20)
- Meta
text/gemini- Capsule Response Time
- 240.349926 milliseconds
- Gemini-to-HTML Time
- 0.245668 milliseconds
This content has been proxied by September (3851b).