[844K 31-Mar-2026 15:03] .
[ 64K 31-Mar-2026 15:03] ├── html
[ 64K 31-Mar-2026 15:03] ├── site
[420K 31-Mar-2026 15:03] ├── cardano-ledger.pdf
[273K 31-Mar-2026 15:03] ├── conway-ledger.pdf
[ 19K 31-Mar-2026 15:03] └── typecheck.time
840K used in 3 directories, 3 files
Automatically generated from commit d1800267668767d7394955bb19968a1a93205c41 on branch master