Run stack install
to install agda-html-to-md
globally.
effectfully/agda-html-to-md
A tiny tool that takes output of `htmlize` and turns it into a markdown text consumable by `pandoc`
HaskellBSD-3-Clause
A tiny tool that takes output of `htmlize` and turns it into a markdown text consumable by `pandoc`
HaskellBSD-3-Clause