Dafny is a really fun language and I've done some stuff in it before. I was real... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		hwayne on July 13, 2022 \| parent \| context \| favorite \| on: Six programming languages I’d like to see Dafny is a really fun language and I've done some stuff in it before. I was really sad when MSR stopped working on it, but I think AWS has picked up the slack?

mazesc on July 13, 2022 [–]

Yes, it's under heavy development, and is getting various improvements for usability. You probably want to take a look at the release notes.

hwayne on July 13, 2022 | [–]

glee

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