commit ab9f808c96e6e96519692131de3743bfb5ef0456
Author: Sergiu Ivanov <sivanov@colimite.fr>
Date:   Sat Feb 15 13:32:54 2020 +0100

    dds/bn: Start.

diff --git a/bn.rkt b/bn.rkt
new file mode 100644
index 0000000..936fc12
--- /dev/null
+++ b/bn.rkt
@@ -0,0 +1,21 @@
+#lang typed/racket
+
+;;; dds/bn
+
+;;; This module provides some quick definitions for running Boolean
+;;; networks.  A Boolean network is a set of Boolean variables which
+;;; are updated according to their corresponding update functions.
+;;; The variables to be updated at each step are given by the mode.
+
+
+;; A state of a Boolean network is a mapping from the variables of the
+;; network to their Boolean values.
+(define-type State (HashTable Symbol Boolean))
+
+;; An update function is a Boolean function computing a Boolean value
+;; from the given state.
+(define-type UpdateFunc (-> State Boolean))
+
+;; A Boolean network is a mapping from its variables to its update
+;; functions.
+(define-type Network (HashTable Symbol UpdateFunc))