From 84134340e516f08928a9dc3ea53f124bfa823b28 Mon Sep 17 00:00:00 2001
From: Sergiu Ivanov <sivanov@colimite.fr>
Date: Mon, 2 May 2022 00:22:47 +0200
Subject: [PATCH] Typos.

---
 scribblings/networks.scrbl | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/scribblings/networks.scrbl b/scribblings/networks.scrbl
index 2c4d797..8fe92f1 100644
--- a/scribblings/networks.scrbl
+++ b/scribblings/networks.scrbl
@@ -149,9 +149,9 @@ Instances of @racket[network] have the type @racket[Network].
 
 }
 
-@deftype[Network]{
+@deftypeform[(Network a)]{
 
-The type of the instances of @racket[Network].
+The type of the instances of @racket[network].
 
 @ex[
 (network (hash 'a or-func