Giters

effectfully / agda-html-to-md

A tiny tool that takes output of `htmlize` and turns it into a markdown text consumable by `pandoc`

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

agda-html-to-md

Installation

Run stack install to install agda-html-to-md globally.

About

A tiny tool that takes output of `htmlize` and turns it into a markdown text consumable by `pandoc`

License:BSD 3-Clause "New" or "Revised" License

Languages

Language:Haskell 100.0%