coq-nix-toolbox icon indicating copy to clipboard operation
coq-nix-toolbox copied to clipboard

Rework documentation by following Diátaxis

Open Zimmi48 opened this issue 4 years ago • 0 comments

It feels like we are growing out of a README-based documentation. I think we could apply the principles advocated in the Diátaxis framework (https://diataxis.fr/): split documentation into tutorials, how-to guides, explanation and reference. Except that I would focus on how-to guides and reference to start with, explanations next, and tutorials maybe at some point later.

Zimmi48 avatar Jul 08 '21 18:07 Zimmi48