Skip to content
This repository was archived by the owner on Aug 3, 2024. It is now read-only.
This repository was archived by the owner on Aug 3, 2024. It is now read-only.

Markup for verbatim #1279

Open
Open
@andreasabel

Description

@andreasabel

Feature request: Markup for verbatim.

I would like to write something inline like @path/to/file@, i.e. some teletype text containing markup characters like /.
Currently I get from this something like pathtofile.

Having verbatim would help avoiding rendering problems like those: https://artyom.me/haddock-mistakes

Metadata

Metadata

Assignees

No one assigned

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions