Closed LnLou closed 6 years ago
Performance vs. Undertandability -> Understandability 2nd paragraph diferences -> differences
Turning Partial Functions into Total Functions 4th paragraph formula (4, {2, 2} -> (4, {2, 2}) 6th paragraph Daphy should be Dafny
What is Dafny, Again? 1st paragraph tooset -> toolset
Thank you! Fixed.
kevinsullivan
commented
6 years ago kevinsullivan
commented
6 years ago
Performance vs. Undertandability -> Understandability 2nd paragraph diferences -> differences
Turning Partial Functions into Total Functions 4th paragraph formula (4, {2, 2} -> (4, {2, 2}) 6th paragraph Daphy should be Dafny
What is Dafny, Again? 1st paragraph tooset -> toolset