[838K 08-May-2026 14:02] .
[ 64K 08-May-2026 14:02] ├── html
[ 60K 08-May-2026 14:02] ├── site
[420K 08-May-2026 14:02] ├── cardano-ledger.pdf
[273K 08-May-2026 14:02] ├── conway-ledger.pdf
[ 17K 08-May-2026 14:02] └── typecheck.time
834K used in 3 directories, 3 files
Automatically generated from commit 3ad7b7743677a6f1763d90bf0abd4194b341ac32 on branch master