Mathlib Changelog
v4
Changelog
About
Github
Commit
2023-06-14 06:06
18107fe8
View on Github →
feat: reading from files and processes as lazy lists (
#3617
)
Estimated changes
Modified
Mathlib.lean
Created
Mathlib/Data/ListM/IO.lean
added
def
ListM.lines
added
def
ListM.linesFromHandle
added
def
ListM.runCmd