Toot

Written by arialdo on 2025-01-06 at 21:44

Current status: reading chapter 6 of Type Driven Development with #Idris.

It is wonderful. Pure joy.

=> More informations about this toot | View the thread | More toots from arialdo@mastodon.online

Mentions

Tags

=> View idris tag

Proxy Information

Original URL: gemini://mastogem.picasoft.net/toot/113783595074885699
Status Code: Success (20)
Meta: text/gemini
Capsule Response Time: 224.711259 milliseconds
Gemini-to-HTML Time: 0.484905 milliseconds

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