News for hackers. Stuff that matters.

A comment on Programming Languages Going Above and Beyond. Parent comment

Re:Programming Languages Going Above and Beyond by lolinder on Thursday June 29, 2023 @09:52AM (#36520386)
Dafny also originated in MS and initially targeted .NET.

https://www.microsoft.com/en-us/research/project/dafny-a-lan...

[ Parent | on HN ]

There are no comments on this comment yet.