Commit graph

75 commits

Author SHA1 Message Date
Sergiu Ivanov
2c2d8fbbdb update-function-form->update-function → update-function-form->update-function/any 2022-05-03 21:26:36 +02:00
Sergiu Ivanov
320ae55456 Type update-function-form->update-function. 2022-05-03 15:40:23 +02:00
Sergiu Ivanov
b97bbfd972 Type network-form. 2022-05-02 00:27:55 +02:00
Sergiu Ivanov
84134340e5 Typos. 2022-05-02 00:22:47 +02:00
Sergiu Ivanov
901720d2f5 Add UpdateFunctionForm. 2022-05-02 00:16:16 +02:00
Sergiu Ivanov
fc633c2e4c Move make-same-domains, make-boolean-domains, and make-01-domains to Utilities. 2022-05-01 01:07:33 +02:00
Sergiu Ivanov
458ba10ab5 Add 01->boolean/state (replacing booleanize-state). 2022-05-01 01:05:35 +02:00
Sergiu Ivanov
ba30e3dc5e Type update. 2022-05-01 00:33:43 +02:00
Sergiu Ivanov
9a2f1ff527 Type make-01-domains and make-01-network. 2022-04-30 23:21:42 +02:00
Sergiu Ivanov
4ea31d8f39 Typo. 2022-04-30 22:49:03 +02:00
Sergiu Ivanov
70be49b957 Start Common examples. 2022-04-30 00:23:38 +02:00
Sergiu Ivanov
5da523d297 Make the definitions for types the same as in Typed Racket docs. 2022-04-30 00:11:09 +02:00
Sergiu Ivanov
d02742ba6d Somewhat improve the sectioning. 2022-04-29 17:31:36 +02:00
Sergiu Ivanov
bed1ed24f3 Add and use deftype and defpolytype. 2022-04-29 16:32:22 +02:00
Sergiu Ivanov
e867a86d4d Add the type Domain. 2022-04-29 16:10:36 +02:00
Sergiu Ivanov
be729f6ca8 Type make-same-domains, make-boolean-domains, make-boolean-network. 2022-04-29 15:54:15 +02:00
Sergiu Ivanov
609de226a9 Basic definitions → Basic types 2022-04-29 15:33:46 +02:00
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