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

docs: accept proposed changes

Browse Source 
Co-authored-by: Hans Svensson <hanssv@gmail.com>
This commit is contained in:
Marco Walz 2021-08-20 09:53:26 +02:00 committed by GitHub
parent b68beb368d
commit 25a22a78b2
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
docs/index.md
View File

@ -1,5 +1,5 @@
# Introduction # Introduction
Sophia is a language in the ML family designed for smart contract development. It is strongly typed and has Sophia is a functional language designed for smart contract development. It is strongly typed and has
restricted mutable state. restricted mutable state.
Sophia is customized for smart contracts, which can be published Sophia is customized for smart contracts, which can be published