Def String.toAsciiByteArray

Modification history

2024-09-03 08:22
Mathlib/Data/ByteArray.lean
chore: bump batteries (#16436)
Deleted String.toAsciiByteArrayView on Github →
2021-05-09 05:35
Mathlib/Data/ByteArray.lean
feat(*): dumping my ForMathlib collection
Added String.toAsciiByteArrayView on Github →