========= Tutorials ========= Tutorials are the *learning-oriented* pieces of the documentation. They are intended for the new-comers, people who never used the library and want to give it the first try. Tutorials' authors are fully responsible for the steps the learner gets through. Tutorials are meant to be **satisfying**, **reproducible**, rather **simple** and very **concrete** lessons or recipes. They should not contain much explanations, they should contain links to :any:`explanation` instead. You can read more in the `original framework `_ about what tutorials are meant to be. .. toctree:: :maxdepth: 1 :caption: Choose what to learn tutorials/t00-installation-and-setup tutorials/t01-generator-monad tutorials/t02-handling-emptiness tutorials/t03-measuring-test-coverage tutorials/t04-automatic-generator-derivation tutorials/t05-derivegen-signatures tutorials/t06-mixing-manual-and-automatic tutorials/t07-beyond-fuel tutorials/t08-generating-gadts-with-proofs tutorials/t09-toy-example tutorials/t10-derivation-tuning