☰
All Packages
Criteria
All Packages
Criteria
Readme
Versions (1)
Iterator
0.1.0
In this repository, I work on the Lean iterator library that is supposed to become part of the standard library.
Iterator