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 |
|