search

kevinsullivan / cs-dm

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

Formula typo in Declarative Languages for Specifications #2

Closed LnLou closed 6 years ago

LnLou commented 6 years ago

In the third paragraph of Logical Specifications, Imperative Implementations - Declarative Languages for Specifications, y^2 >= 0 should be y >= 0.

kevinsullivan commented 6 years ago

Fixed, thanks!