search

kevinsullivan / cs-dm

CS2012 UVa CS Discrete Math Spring 2018
15 stars 20 forks source link

Typo in Chapter 4 #6

Closed ghost closed 6 years ago

ghost commented 6 years ago

In the 4th section of "Dafny is a Program Verifier" it reads: "Try is in Dafny. You will see." I believe that this should be "Try this in Dafny. You will see."

kevinsullivan commented 6 years ago

Fixed, thanks!

kevinsullivan commented 6 years ago

Thanks. We got that one previously.

On Thu, Feb 1, 2018 at 9:37 AM, kb5th notifications@github.com wrote:

In the 4th section of "Dafny is a Program Verifier" it reads: "Try is in Dafny. You will see." I believe that this should be "Try this in Dafny. You will see."

— You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub https://github.com/kevinsullivan/cs-dm/issues/6, or mute the thread https://github.com/notifications/unsubscribe-auth/ACpL9bHbdctcO8KyQHnAp4PHRQzosOMxks5tQcxAgaJpZM4R1tah .