5 commits

Author	SHA1	Message	Date
Sergiu Ivanov	61f9522569	Add graph-typed.scrbl to documentation.	2022-01-12 00:28:20 +01:00
Sergiu Ivanov	7f032c045a	dds.scrbl: Only include utils.scrbl. ... I will progressively include the other sections as I go.	2022-01-12 00:28:20 +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)