Note: The iterators have been added to the Lean standard library and can be used after importing Std.Data.Iterators. This repository is archived now and should not be used.
Iterator
In this repository, I work on the Lean iterator library that is supposed to become part of the standard library.