Comment by tkz1312 3 hours ago https://github.com/kim-em/lean-zstd 1 comment tkz1312 Reply antonvs 2 hours ago The pure Lean implementation of zstd in that project is only decompression, not compression. It kind of proves my point.
antonvs 2 hours ago The pure Lean implementation of zstd in that project is only decompression, not compression. It kind of proves my point.
The pure Lean implementation of zstd in that project is only decompression, not compression. It kind of proves my point.