From d02742ba6de10de501c84bab8105e0a0b4ec97fb Mon Sep 17 00:00:00 2001 From: Sergiu Ivanov Date: Fri, 29 Apr 2022 17:31:36 +0200 Subject: [PATCH] Somewhat improve the sectioning. --- scribblings/networks.scrbl | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/scribblings/networks.scrbl b/scribblings/networks.scrbl index 3b13eb0..0c58836 100644 --- a/scribblings/networks.scrbl +++ b/scribblings/networks.scrbl @@ -62,6 +62,8 @@ their domains. } +@section{Networks} + @defstruct*[network ([functions (VariableMapping (UpdateFunction a))] [domains (DomainMapping a)])]{ @@ -91,8 +93,6 @@ The type of the instances of @racket[Network]. 'b '(#f #t))) ]} -@section{Constructing networks} - @defproc[(make-same-domains [vars (Listof Variable)] [domain (Domain a)]) (DomainMapping a)]{