Toot

Written by Lobsters on 2025-01-30 at 18:55

Introducing sealed types https://lobste.rs/s/3harxm #plt

https://cheriot.org/sealing/compiler/2025/01/30/introducing-sealed-types.html

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

Mentions

Tags

=> View plt tag

Proxy Information
Original URL
gemini://mastogem.picasoft.net/toot/113918824522620091
Status Code
Success (20)
Meta
text/gemini
Capsule Response Time
272.472945 milliseconds
Gemini-to-HTML Time
0.297425 milliseconds

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