Toot

Written by arialdo on 2025-01-16 at 18:51

[#]Idris is such an underrated programming language…

=> 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/113839539063546148
Status Code: Success (20)
Meta: text/gemini
Capsule Response Time: 222.120482 milliseconds
Gemini-to-HTML Time: 0.306136 milliseconds

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