Comment on Dafny is a verification-aware programming languageparentComments−anonzzzies2yinteger subset types/range typesYou mean like Pascal or more elaborate like that?−Avshalom2yIt comes (like a lot of Ada) from Pascal I don't know what the current state of Pascal is to be able to compare but probably a bit more elaborate.
Comments
You mean like Pascal or more elaborate like that?
It comes (like a lot of Ada) from Pascal I don't know what the current state of Pascal is to be able to compare but probably a bit more elaborate.