diff --git a/src/itercheat/itercheat.html b/src/itercheat/itercheat.html index 4b2627f..0cd1500 100644 --- a/src/itercheat/itercheat.html +++ b/src/itercheat/itercheat.html @@ -156,6 +156,21 @@

Generators

\(\{\}\) + + Std + successors + \(x : \text{Some}(T) ~|~ \text{None}\) + \(f : \text{&}T \rightarrow \text{Some}(T) ~|~ \text{None}\) + \( + \{c_0, \ldots, c_{l-1}\} \text{ wh.} \\~~ + \text{Some}(c_0) = x, \\~~ + \text{Some}(c_1) = f(\text{&}c_0), \\~~ + \ldots, \\~~ + \text{Some}(c_{l-1}) = f(\text{&}c_{l-2}), \\~~ + \text{None} = f(\text{&}c_{l-1}) + \) + + IT iterate