⇩ Markdown

type-driven design