def shadir [ p: path, # Path to the directory to be sha256summed ]: nothing -> string { (^find $p -type f -print0 | xargs -0 sha256sum | ^sort | sha256sum) }