[817K 20-Oct-2025 14:43] .
[ 52K 20-Oct-2025 14:43] ├── html
[ 56K 20-Oct-2025 14:43] ├── site
[420K 20-Oct-2025 14:43] ├── cardano-ledger.pdf
[273K 20-Oct-2025 14:43] ├── conway-ledger.pdf
[ 12K 20-Oct-2025 14:43] └── typecheck.time
813K used in 3 directories, 3 files
Automatically generated from commit 58b7d194ab7741d4f54d7fd1c6ae5dca1abef6eb on branch master