[784K 01-Oct-2026 03:14] .
[ 68K 01-Oct-2026 03:14] ├── site
[420K 01-Oct-2026 03:14] ├── cardano-ledger.pdf
[273K 01-Oct-2026 03:14] ├── conway-ledger.pdf
[ 18K 01-Oct-2026 03:14] └── typecheck.time
780K used in 2 directories, 3 files
Automatically generated from commit 073b8838a508de68a6fb05825c16590f12269fb6 on branch master