I've had great success using data.zip.xml but I find I'm in need of same for vector trees.
Before undertaking creation of the equivalent of data.zip.xml for vector-zip zippers, I thought it would be good to see if something already exists.
I've had great success using data.zip.xml but I find I'm in need of same for vector trees.
Before undertaking creation of the equivalent of data.zip.xml for vector-zip zippers, I thought it would be good to see if something already exists.