[844K 23-Apr-2026 14:43] .
[ 64K 23-Apr-2026 14:43] ├── html
[ 64K 23-Apr-2026 14:43] ├── site
[420K 23-Apr-2026 14:43] ├── cardano-ledger.pdf
[273K 23-Apr-2026 14:43] ├── conway-ledger.pdf
[ 19K 23-Apr-2026 14:43] └── typecheck.time
840K used in 3 directories, 3 files
Automatically generated from commit 103505a39523dd0cc7855cea449034206537a0a7 on branch master