4 commits

Author	SHA1	Message	Date
Sergiu Ivanov	ff9eb3a44c	dds.scrbl: Only include utils.scrbl. ... I will progressively include the other sections as I go.	2020-12-03 00:36:24 +01:00
Sergiu Ivanov	af6bb09f53	docs: Add the introduction to dds.	2020-11-29 20:59:16 +01:00
Sergiu Ivanov	e2788be237	Add the Scribble files for almost all modules. ... The generics module will probably disappear or take a different shape in the near future.	2020-11-29 17:43:20 +01:00
Sergiu Ivanov	8487b64287	Rename manual → dds.	2020-11-29 17:15:24 +01:00

Renamed from scribblings/manual.scrbl (Browse further)