Feature Request: Use Github Pages to render coqdoc's output

philzook58 / nand2coq

Build an educational formally verified version of the Nand 2 Tetris course using Coq (and other formal tools).

52 stars 3 forks source link

Feature Request: Use Github Pages to render coqdoc's output #1

Open Bruno-366 opened 3 years ago

Bruno-366 commented 3 years ago

Also, it seems like, you decided to go ahead with Haskell as well, and as you mention, you could use the haddock output for documentation, although perhaps a literate file would have been easier?