Toot

Written by arialdo on 2025-01-04 at 08:36

So far, #Idris looks beautiful: like a simpler and way more expressive #Haskell.

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

Mentions

Tags

=> View idris tag | View haskell tag

Proxy Information

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

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