diff options
| -rw-r--r-- | control/monad/state-minimal.scm | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/control/monad/state-minimal.scm b/control/monad/state-minimal.scm index aa7b1a0..8a88ac6 100644 --- a/control/monad/state-minimal.scm +++ b/control/monad/state-minimal.scm @@ -11,6 +11,11 @@ ;;; like the Haskell version (of MonadState). But obviously ;;; without all the nice syntax. +;;; Anything that takes an st-list and returns an st-list is +;;; considered a State value. +;;; An st-list is a list where the car is the last returned +;;; value, and the cadr is the "state". + ;; newtype State = st-list -> st-list ;; State |