The idea is just to generate pandoc files from Coq (.v) files.
stack build
stack install
v2md Preface.v -o Preface.md
- Get rid of
Data.String.Conversionsand allcsuses. Better to useData.Textdirectly?
Generate Pandoc files from Coq (v2md)
The idea is just to generate pandoc files from Coq (.v) files.
stack build
stack install
v2md Preface.v -o Preface.md
Data.String.Conversions and all cs uses. Better to use
Data.Text directly?Generate Pandoc files from Coq (v2md)
BSD 3-Clause "New" or "Revised" License