This is an automated email from the ASF dual-hosted git repository.
paulk-asert pushed a commit to branch asf-site
in repository https://gitbox.apache.org/repos/asf/groovy-website.git
The following commit(s) were added to refs/heads/asf-site by this push:
new 7ee7d42 rendering tweak
7ee7d42 is described below
commit 7ee7d42bbb5957ac9e1729ed1792d28afc022370
Author: Paul King <[email protected]>
AuthorDate: Sat May 30 11:21:27 2026 +1000
rendering tweak
---
site/src/site/blog/groovy6-functional.adoc | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/site/src/site/blog/groovy6-functional.adoc
b/site/src/site/blog/groovy6-functional.adoc
index f3e72f0..fbd908f 100644
--- a/site/src/site/blog/groovy6-functional.adoc
+++ b/site/src/site/blog/groovy6-functional.adoc
@@ -246,7 +246,7 @@ There are four FP-flavoured facts the compiler now knows
about
* `post` may only modify `total` and `ledger`. Touch any other field
and `ModifiesChecker` errors. This is the `State` monad's job
(_what_ state can change) without the bind boilerplate.
-* `@Requires`/`@Ensures` are the Hoare-logic dual of `State`'s
+* `@Requires`/`@Ensures` are the Hoare-logic dual of the `State` monad's
state-transition function — pre- and post-conditions, with `old.`
referring to pre-state.
* `balance` is pure _modulo logging_. Its `@TypeChecked` extension
