Commit graph

4 commits

Author SHA1 Message Date
Sergiu Ivanov
b8fcfb2374 doc: Add proper requires to Scribble files. 2020-11-29 22:16:23 +01:00
Sergiu Ivanov
532f7b180e networks.scrbl: Add an explicit tag to Basic definitions.
Otherwise there is a conflict with a section with the same name in
rs.scrbl.
2020-11-29 22:11:03 +01:00
Sergiu Ivanov
d95891537b doc: Add module-level comments for networks. 2020-11-29 22:01:18 +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