[780K 06-Nov-2026 22:59] .
[ 64K 06-Nov-2026 22:59] ├── site
[420K 06-Nov-2026 22:59] ├── cardano-ledger.pdf
[273K 06-Nov-2026 22:59] ├── conway-ledger.pdf
[ 19K 06-Nov-2026 22:59] └── typecheck.time
776K used in 2 directories, 3 files
Automatically generated from commit ec066122d49631e9846a0218100901aedd2c5cce on branch master