[784K 20-Oct-2026 13:04] .
[ 68K 20-Oct-2026 13:04] ├── site
[420K 20-Oct-2026 13:04] ├── cardano-ledger.pdf
[273K 20-Oct-2026 13:04] ├── conway-ledger.pdf
[ 19K 20-Oct-2026 13:04] └── typecheck.time
780K used in 2 directories, 3 files
Automatically generated from commit aba53bf3716b9829849b34b11556a5f65b7f4d22 on branch master