[833K 13-Nov-2025 16:36] .
[ 60K 13-Nov-2025 16:36] ├── html
[ 60K 13-Nov-2025 16:36] ├── site
[420K 13-Nov-2025 16:36] ├── cardano-ledger.pdf
[273K 13-Nov-2025 16:36] ├── conway-ledger.pdf
[ 15K 13-Nov-2025 16:36] └── typecheck.time
829K used in 3 directories, 3 files
Automatically generated from commit 4987a44429b0392d33af5f21401e79aa185aadbc on branch master