A port of Bejamin Pierce et al.'s “Software Foundations” from coqdoc to pandoc markdown