[778K 09-Jun-2026 09:07] .
[ 64K 09-Jun-2026 09:07] ├── site
[420K 09-Jun-2026 09:07] ├── cardano-ledger.pdf
[273K 09-Jun-2026 09:07] ├── conway-ledger.pdf
[ 17K 09-Jun-2026 09:07] └── typecheck.time
774K used in 2 directories, 3 files
Automatically generated from commit bd56c872c31d0f6c757dc08d3746d3b6b7b0aeb5 on branch master