kevinsullivan / cs6501s23

Formal Mathematics for Software Design
6 stars 6 forks source link

2.1.4. Inductive Datatype Definitions - Typo #19

Open sm4sa opened 1 year ago

sm4sa commented 1 year ago

"The langauge they define contains all of the strings constructible by any finite number of applications of the defined constructors and no other terms."

"langauge" should be "language"