Hacker News new | ask | show | jobs
by pjmlp 975 days ago
Or using F* and then generate F# code, https://www.fstar-lang.org/