[794K 18-Jul-2025 14:42] .
[ 44K 18-Jul-2025 14:42] ├── html
[ 44K 18-Jul-2025 14:42] ├── site
[420K 18-Jul-2025 14:42] ├── cardano-ledger.pdf
[273K 18-Jul-2025 14:42] ├── conway-ledger.pdf
[8.9K 18-Jul-2025 14:42] └── typecheck.time
790K used in 3 directories, 3 files
Automatically generated from commit b022bf45ed09b124bb271c4d6626fa0105b0b40b on branch master