Some extremely interesting ideas put together and explained here.
https://borretti.me/article/introducing-austral
I would love to see #Hare incorporate linear types and capabilities.
Some extremely interesting ideas put together and explained here.
https://borretti.me/article/introducing-austral
I would love to see #Hare incorporate linear types and capabilities.
If you have a fediverse account, you can quote this note from your own instance. Search https://hachyderm.io/users/jakehamilton/statuses/114200483120070612 on your instance and quote it. (Note that quoting is not supported in Mastodon.)