How does Dafny compare to M#, the unreleased language used for project Midori? | Hacker News

Hacker News new | past | comments | ask | show | jobs | submit

login

alexvoda on Oct 15, 2021 | parent | context | favorite | on: What I wish I knew when learning F#

How does Dafny compare to M#, the unreleased language used for project Midori?

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact