A dependently typed programming language, and verification tool
Why do you think that https://github.com/oxidecomputer/oxide-and-friends is a good alternative to hubris
A dependently typed programming language, and verification tool
Why do you think that https://github.com/oxidecomputer/oxide-and-friends is a good alternative to hubris