[817K 04-Sep-2025 07:24] .
[ 52K 04-Sep-2025 07:24] ├── html
[ 56K 04-Sep-2025 07:24] ├── site
[420K 04-Sep-2025 07:24] ├── cardano-ledger.pdf
[273K 04-Sep-2025 07:24] ├── conway-ledger.pdf
[ 11K 04-Sep-2025 07:24] └── typecheck.time
813K used in 3 directories, 3 files
Automatically generated from commit 70840e5e116da2c6bd8b3c1e3dc28536bcdd5f09 on branch master