[834K 16-Jan-2026 16:34] .
[ 60K 16-Jan-2026 16:34] ├── html
[ 60K 16-Jan-2026 16:34] ├── site
[420K 16-Jan-2026 16:34] ├── cardano-ledger.pdf
[273K 16-Jan-2026 16:34] ├── conway-ledger.pdf
[ 17K 16-Jan-2026 16:34] └── typecheck.time
830K used in 3 directories, 3 files
Automatically generated from commit 442d85b74d0bb8182d8506f806274464d09e6062 on branch master