search

isovector / certainty-by-construction

Source material for Certainty by Construction
https://leanpub.com/certainty-by-construction/
36 stars 9 forks source link

Pandoc can't build this #1

Open isovector opened 1 year ago

isovector commented 1 year ago

There's a bug? or something in pandoc that doesn't preserve indentation in some cases for some code fences. It requires a hacked pandoc: https://github.com/isovector/pandoc/tree/literate-agda

and also a --tab-stop=1000