DD — HELL Design Documents

Design documents record architectural decisions and structural rules for HELL. Each DD is a permanent record of why a decision was made, not just what was decided.

Next free number

The next available DD entry is: b15

Design Documents

• DD b10 — Format Template for Design Documents
• DD b11 — Lettered-Numbering System for HELL References
• DD b12 — Legacy Naming for PET/JUB Axioms and Theorems
• DD b13 — TELES Must Not Expand RST Comment Markers
• DD b14 — TELES START/STOP Boundaries and Label Renames