clarified signature: File.read_lines is based on scalable Bytes.T;
discontinued somewhat pointless File.fold_lines;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE4494cd69f97f: clarified modules;
- Branches
- Unknown
- Tags