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. +