[834K 10-Feb-2026 13:32] .
[ 60K 10-Feb-2026 13:32] ├── html
[ 60K 10-Feb-2026 13:32] ├── site
[420K 10-Feb-2026 13:32] ├── cardano-ledger.pdf
[273K 10-Feb-2026 13:32] ├── conway-ledger.pdf
[ 17K 10-Feb-2026 13:32] └── typecheck.time
830K used in 3 directories, 3 files
Automatically generated from commit 406229678eab56ec4f49b663a66b2a75e971567b on branch master