[834K 20-Nov-2025 16:28] .
[ 60K 20-Nov-2025 16:28] ├── html
[ 60K 20-Nov-2025 16:28] ├── site
[420K 20-Nov-2025 16:28] ├── cardano-ledger.pdf
[273K 20-Nov-2025 16:28] ├── conway-ledger.pdf
[ 16K 20-Nov-2025 16:28] └── typecheck.time
830K used in 3 directories, 3 files
Automatically generated from commit f6ee32dcf8c0cc6d02a9081efce49a3292542f52 on branch master