[835K 29-Jan-2026 12:43] .
[ 60K 29-Jan-2026 12:43] ├── html
[ 60K 29-Jan-2026 12:43] ├── site
[420K 29-Jan-2026 12:43] ├── cardano-ledger.pdf
[273K 29-Jan-2026 12:43] ├── conway-ledger.pdf
[ 17K 29-Jan-2026 12:43] └── typecheck.time
831K used in 3 directories, 3 files
Automatically generated from commit f15e1cf3a4f0d27cefb6360263065a83fa64f3e8 on branch master