[845K 21-Apr-2026 04:41] .
[ 64K 21-Apr-2026 04:41] ├── html
[ 64K 21-Apr-2026 04:41] ├── site
[420K 21-Apr-2026 04:41] ├── cardano-ledger.pdf
[273K 21-Apr-2026 04:41] ├── conway-ledger.pdf
[ 19K 21-Apr-2026 04:41] └── typecheck.time
841K used in 3 directories, 3 files
Automatically generated from commit eab459791afde18fc4a1039431a06c5c5c50b443 on branch master