[778K 09-Jul-2026 10:13] .
[ 64K 09-Jul-2026 10:13] ├── site
[420K 09-Jul-2026 10:13] ├── cardano-ledger.pdf
[273K 09-Jul-2026 10:13] ├── conway-ledger.pdf
[ 17K 09-Jul-2026 10:13] └── typecheck.time
774K used in 2 directories, 3 files
Automatically generated from commit 00d1f98f51c940c81e22f8fc2512ff09fdbcc6e6 on branch master