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