Sergiu Ivanov
|
883e845d9d
|
Type network and add examples.
|
2022-04-28 23:47:37 +02:00 |
|
Sergiu Ivanov
|
86d52eed3b
|
syntax → type as kinds of definitions in scribblings.
|
2022-04-27 18:45:09 +02:00 |
|
Sergiu Ivanov
|
5efe086d06
|
Add UpdateFunction and DomainMapping.
|
2022-04-27 00:15:03 +02:00 |
|
Sergiu Ivanov
|
85566d7479
|
Start migrating networks to Typed Racket.
|
2022-04-27 00:10:13 +02:00 |
|
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 |
|