[836K 13-Mar-2026 17:29] .
[ 60K 13-Mar-2026 17:29] ├── html
[ 60K 13-Mar-2026 17:29] ├── site
[420K 13-Mar-2026 17:29] ├── cardano-ledger.pdf
[273K 13-Mar-2026 17:29] ├── conway-ledger.pdf
[ 18K 13-Mar-2026 17:29] └── typecheck.time
832K used in 3 directories, 3 files
Automatically generated from commit 575cb4e235528467d0dc98a4390b78a092d231d2 on branch master