QPQ-AG/sophia
10
0
Fork 0
Code Issues 41 Pull Requests 5 Actions Packages Projects Releases 16 Wiki Activity

Minor format

Browse Source 
Co-Authored-By: Hans Svensson <hanssv@gmail.com>
This commit is contained in:
Radosław Rowicki 2020-03-02 13:01:26 +01:00 committed by GitHub
parent 7a3b08fdc7
commit f96c028481
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
docs/sophia.md
View File

@ -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 - 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 channel). Each instance has an address that can be used to call its
entrypoints, either from another contract or in a call transaction. 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. When creating a new contract the `init` entrypoint is executed and the
state is initialized to its return value. state is initialized to its return value.
@ -1061,4 +1061,4 @@ contract FundMe =
spend({recipient = to, spend({recipient = to,
amount = state.contributions[to]}) amount = state.contributions[to]})
put(state{ contributions @ c = Map.delete(to, c) }) put(state{ contributions @ c = Map.delete(to, c) })
``` ```