From 25a22a78b2b20578a4b327986064e393f95a0b61 Mon Sep 17 00:00:00 2001 From: Marco Walz <8124114+marc0olo@users.noreply.github.com> Date: Fri, 20 Aug 2021 09:53:26 +0200 Subject: [PATCH] docs: accept proposed changes Co-authored-by: Hans Svensson --- docs/index.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/index.md b/docs/index.md index 0c1b225..b3f2129 100644 --- a/docs/index.md +++ b/docs/index.md @@ -1,5 +1,5 @@ # 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. Sophia is customized for smart contracts, which can be published