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