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.
Iterator0.1.0
In this repository, I work on the Lean iterator library that is supposed to become part of the standard library.