From 6f7da2c588314789d6476a7f845720d6be0236a9 Mon Sep 17 00:00:00 2001 From: Sam Vervaeck Date: Wed, 10 Jul 2024 09:34:10 +0200 Subject: [PATCH] Update to new do-notation in README.md --- README.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index e757cf695..5623f3f36 100644 --- a/README.md +++ b/README.md @@ -84,8 +84,8 @@ let app : Html. let user = perform get_state return match user. - None => do. - Future.when_done (fetch "/api/login") \data -> do. + None => do + Future.when_done (fetch "/api/login") \data -> do perform set_state data h1 [ "Please log in." ] Some { name, .. } => h1 [ f"Welcome Back, {fullname}" ]