hwayne/learntla-v2

Error in definition of IsComposite

Closed this issue · 2 comments

ramz-san commented

The definition of IsComposite in the Quantifiers section of Writing an Invariant is:

IsComposite(num) ==
\E m, n \in 2..Len(num):
m * n = num

I believe it should be:

IsComposite(num) ==
\E m, n \in 2..num:
m * n = num

hwayne commented

It should

hwayne commented

Pushing fix now