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