From f96c028481dfdbb7f730d97d5c1bc7c13c3028fc Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Rados=C5=82aw=20Rowicki?= <35342116+radrow@users.noreply.github.com> Date: Mon, 2 Mar 2020 13:01:26 +0100 Subject: [PATCH] Minor format Co-Authored-By: Hans Svensson --- docs/sophia.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/docs/sophia.md b/docs/sophia.md index bd9cfbc..58042f0 100644 --- a/docs/sophia.md +++ b/docs/sophia.md @@ -77,7 +77,7 @@ The main unit of code in Sophia is the *contract*. - A contract instance is an entity living on the block chain (or in a state channel). Each instance has an address that can be used to call its entrypoints, either from another contract or in a call transaction. -- A contract may define a type state encapsulating its local +- A contract may define a type `state` encapsulating its local state. When creating a new contract the `init` entrypoint is executed and the state is initialized to its return value. @@ -1061,4 +1061,4 @@ contract FundMe = spend({recipient = to, amount = state.contributions[to]}) put(state{ contributions @ c = Map.delete(to, c) }) -``` \ No newline at end of file +```