4 commits

Author	SHA1	Message	Date
Sergiu Ivanov	8487b64287	Rename manual → dds.	2020-11-29 17:15:24 +01:00
Sergiu Ivanov	596e1b7b5d	Prepare for writing the documentation.	2020-11-29 00:28:46 +01:00
Sergiu Ivanov	12cc862c94	Start the documentation.	2020-11-29 00:02:06 +01:00
Sergiu Ivanov	95c0611e4f	Add info.rkt.	2020-05-16 19:00:04 +02:00