Comment on Dafny is a verification-aware programming languageparentComments−pjmlp2yAs usual, people keep referring to Ada integer subset types/range types, when Ada was influenced by their use in Pascal and Modula-2.
Comments
As usual, people keep referring to Ada integer subset types/range types, when Ada was influenced by their use in Pascal and Modula-2.