/agda-html-to-md

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

Primary LanguageHaskellBSD 3-Clause "New" or "Revised" LicenseBSD-3-Clause

Watchers