undefined | Better HN

0 pointsbjz_8y ago0 comments

Check out Dafny, Whiley, and Liquid Haskell.

0 comments

Ada also supports contracts, as does .NET with code contracts.

j / k navigate · click thread line to collapse

0 pointsbjz_8y ago0 comments

Check out Dafny, Whiley, and Liquid Haskell.

Ada also supports contracts, as does .NET with code contracts.

j / k navigate · click thread line to collapse