Closed darrenldl closed 2 years ago
Try all four compression algorithms supported by mirage/decompress
EDIT: on marshalled string output, not on the sexp or JSON files
Possibly made redundant by using a different binary encoding altogether
Migrated to custom compression scheme fully in timedesc 0.8.0
Try all four compression algorithms supported by mirage/decompress
EDIT: on marshalled string output, not on the sexp or JSON files