Hacker News new | ask | show | jobs
by toastal 1090 days ago
Why3 ‘extends’ OCaml with similar features as well