3 ms·How does Dafny compare to M#, the unreleased language used for project Midori?by alexvoda 5y agoHow does Dafny compare to M#, the unreleased language used for project Midori?