Add sectioning to tbn.scrbl.

This commit is contained in:
Sergiu Ivanov 2023-04-03 15:35:12 +02:00
parent e8ebab58ca
commit 7c5333555c

View file

@ -26,6 +26,8 @@
@defmodule[(submod dds/tbn typed)] @defmodule[(submod dds/tbn typed)]
@section{TBFs and states}
This module defines threshold Boolean networks (TBN), as well as sign This module defines threshold Boolean networks (TBN), as well as sign
Boolean networks (SBN). The update functions in such networks are Boolean networks (SBN). The update functions in such networks are
respectively @seclink["tbf" #:doc '(lib respectively @seclink["tbf" #:doc '(lib