This commit is contained in:
Sergiu Ivanov 2022-05-02 00:22:47 +02:00
parent 901720d2f5
commit 84134340e5

View file

@ -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