We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Run stack install to install agda-html-to-md globally.
stack install
agda-html-to-md