src/Pure/General/bytes.ML
Tue, 21 Jun 2022 14:08:02 +0200 wenzelm clarified signature: avoid repeated string copying via Substring.slice;
Tue, 21 Jun 2022 13:14:09 +0200 wenzelm support for scalable byte strings, with incremental construction;
Mon, 10 Dec 2018 23:36:29 +0100 wenzelm more Haskell operations;
Mon, 10 Dec 2018 20:20:24 +0100 wenzelm clarified modules, following bytes.scala;
less more (0) tip