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

Github PK Tool