Files
dela 9f635d358b feat: add superderive stepwise derivation figures
A third sibling toolkit: rewrite steps, justification rails,
cancel/substitute highlights, and lint-on-warning builds.
2026-08-17 10:05:03 +08:00

7 lines
191 B
Markdown

# Antipatterns
- Drawing a rewrite as `\sfnode` boxes.
- A new hue per step.
- Two illegal/legal pairs in one figure.
- Formula placed before the last row so it centers on an unknown width.