From 3691c42e677ad1f1121ffe21996304360bc90316 Mon Sep 17 00:00:00 2001
From: Sergiu Ivanov <sivanov@colimite.fr>
Date: Wed, 6 Jul 2022 00:00:17 +0200
Subject: [PATCH] Start dynamics.

---
 dynamics.rkt               |  2 ++
 scribblings/dds.scrbl      |  1 +
 scribblings/dynamics.scrbl | 18 ++++++++++++++++++
 3 files changed, 21 insertions(+)
 create mode 100644 dynamics.rkt
 create mode 100644 scribblings/dynamics.scrbl

diff --git a/dynamics.rkt b/dynamics.rkt
new file mode 100644
index 0000000..d61780d
--- /dev/null
+++ b/dynamics.rkt
@@ -0,0 +1,2 @@
+#lang typed/racket
+
diff --git a/scribblings/dds.scrbl b/scribblings/dds.scrbl
index 98182a8..2b8522b 100644
--- a/scribblings/dds.scrbl
+++ b/scribblings/dds.scrbl
@@ -26,5 +26,6 @@ dds currently includes the following modules:
 
 @include-section["utils.scrbl"]
 @include-section["functions.scrbl"]
+@include-section["dynamics.scrbl"]
 @include-section["networks.scrbl"]
 @include-section["rs.scrbl"]
diff --git a/scribblings/dynamics.scrbl b/scribblings/dynamics.scrbl
new file mode 100644
index 0000000..554f27e
--- /dev/null
+++ b/scribblings/dynamics.scrbl
@@ -0,0 +1,18 @@
+#lang scribble/manual
+
+@(require scribble/example racket/sandbox
+	  (for-label typed/racket/base))
+
+@(define-syntax-rule (deftypeform . args)
+  (defform #:kind "type" . args))
+
+@(define-syntax-rule (deftype . args)
+  (defidform #:kind "polymorphic type" . args))
+
+@title[#:tag "dynamics"]{dds/dynamics: Dynamics of DDS}
+
+@defmodule[dds/dynamics]
+
+This module provides a number of general definitions for building and analyzing
+the dynamics of discrete dynamical systems.
+