Def ListM.linesFromHandle

Modification history

2023-08-09 01:11
Mathlib/Data/MLList/IO.lean
chore: bump Std (adapt to migration of ListM) (#6413) …
Deleted ListM.linesFromHandleView on Github →
2023-06-14 06:06
Mathlib/Data/ListM/IO.lean
feat: reading from files and processes as lazy lists (#3617)
Added ListM.linesFromHandleView on Github →