News for hackers. Stuff that matters.

A comment on Dafny is a verification-aware programming language. Parent comment

Re:Dafny is a verification-aware programming language by junon on Wednesday April 24, 2024 @10:59AM (#40145167)
Stable rust is inherently compatible with nightly. Especially if they're in their own crate.
[ Parent | on HN ]

There are no comments on this comment yet.