From 61f14dcb2da68a565b6c7b8330f1ce942862ede3 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Hugo=20H=C3=B6rnquist?= Date: Mon, 12 Nov 2018 23:58:45 +0100 Subject: Additional comment in state-minimal. --- control/monad/state-minimal.scm | 5 +++++ 1 file changed, 5 insertions(+) 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 -- cgit v1.2.3