Okay. So, the good news is: my website is basically working as intended.

It uses coqc/coqdoc to render Coq files, Emacs for org-mode… and eventually it will probably uses pandoc to render markdown+lhs files.

Thanks to soupault, I glue everything together.

Sign in to participate in the conversation

Server run by the main developers of the project 🐘 It is not focused on any particular niche interest - everyone is welcome as long as you follow our code of conduct!