[835K 20-Feb-2026 13:43] .
[ 60K 20-Feb-2026 13:43] ├── html
[ 60K 20-Feb-2026 13:43] ├── site
[420K 20-Feb-2026 13:43] ├── cardano-ledger.pdf
[273K 20-Feb-2026 13:43] ├── conway-ledger.pdf
[ 17K 20-Feb-2026 13:43] └── typecheck.time
831K used in 3 directories, 3 files
Automatically generated from commit e0ffd0f18c7b905f0a77e63e139c32da82def8a3 on branch master