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

syntax → type as kinds of definitions in scribblings.

Browse source
This commit is contained in:
Sergiu Ivanov 2022-04-27 18:45:09 +02:00
parent 5efe086d06
commit 86d52eed3b
2 changed files with 5 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
scribblings/networks.scrbl
View file

@ -27,21 +27,21 @@ This model can generalise Boolean networks, TBANs, multivalued networks, etc.
@section[#:tag "networks-basics"]{Basic definitions}
@defform[(State a)]{
@defform[#:kind "type" (State a)]{
An immutable mapping (a hash table) assigning elements of type @racket[a] to
the variables. A synonym of @racket[VariableMapping].
}
@defform[(UpdateFunction a)]{
@defform[#:kind "type" (UpdateFunction a)]{
An update function is a function computing a value from the given
state. This is a synonym of the type @racket[(-> (State a) a)].
}
@defform[(DomainMapping a)]{
@defform[#:kind "type" (DomainMapping a)]{
A domain mapping is a hash table mapping variables to the lists of values in
their domains.

4
scribblings/utils.scrbl
View file

@ -25,13 +25,13 @@ the package: evaluating sexps, manipulating lists,
@section{Base types}
@defidform[Variable]{
@defidform[#:kind "type" Variable]{
Any Racket symbol. Designates a variable in a discrete dynamical network.
}
@defform[(VariableMapping A)]{
@defform[#:kind "type" (VariableMapping A)]{
An immutable mapping (a hash table) assigning elements of type @racket[A] to
the variables.