Skip to main content

Instantiating Consensus

Generating documents

From the ouroboros-consensus directory, run for your choice of <output file>:

pandoc -s -f markdown+lhs src-docs/Ouroboros/Consensus/Tutorial/Simple.lhs -o <output file>