Hacker News new | ask | show | jobs
by pjmlp 2345 days ago
They already have F* for such type systems.

https://www.fstar-lang.org/