Inline Code with Links

Documentation tools sometimes wrap identifiers in links inside inline code. For example, the type Nat is a common type in the language.

Multiple links can appear in a single code span: List Nat should render as List Nat without any markdown link syntax.

Regular links outside of code should still work normally. See the guide for more details. This paragraph ensures there is enough content for stable extraction.