scolobb/dds
1
0
Fork 0
Code Issues Pull requests Releases Wiki Activity

Basic definitions → Basic types

Browse source
This commit is contained in:
Sergiu Ivanov 2022-04-29 15:33:46 +02:00
parent 883e845d9d
commit 609de226a9
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
scribblings/networks.scrbl
View file

@ -25,7 +25,7 @@ is a set of variables which are updated according to their corresponding update
functions. The variables to be updated at each step are given by the mode.
This model can generalise Boolean networks, TBANs, multivalued networks, etc.
@section[#:tag "networks-basics"]{Basic definitions}
@section[#:tag "networks-basics"]{Basic types}
@defform[#:kind "type" (State a)]{