typdown is a markup language that looks like Markdown, but with a better syntax.