Directory Tree

[817K 04-Sep-2025 07:24]     .
[ 52K 04-Sep-2025 07:24]     ├── html
[ 56K 04-Sep-2025 07:24]     ├── site
[420K 04-Sep-2025 07:24]     ├── cardano-ledger.pdf
[273K 04-Sep-2025 07:24]     ├── conway-ledger.pdf
[ 11K 04-Sep-2025 07:24]     └── typecheck.time


813K used in 3 directories, 3 files


Automatically generated from commit 70840e5e116da2c6bd8b3c1e3dc28536bcdd5f09 on branch master