From a7ea6deae3e5ecabb6f310ea06f516bf1bbacb68 Mon Sep 17 00:00:00 2001 From: Nikita Fuchs Date: Wed, 7 Oct 2020 16:39:02 +0200 Subject: [PATCH] cherrypick to remove iris content --- docs/docs/contracts.md | 9 --------- 1 file changed, 9 deletions(-) diff --git a/docs/docs/contracts.md b/docs/docs/contracts.md index 887eb24..4b613dc 100644 --- a/docs/docs/contracts.md +++ b/docs/docs/contracts.md @@ -504,15 +504,6 @@ the hash functions described below. Please refer to the `String` [library documentation](sophia_stdlib.md#String). -### Chars - -There is a builtin type `char` (the underlying representation being an integer), -mainly used to manipulate strings via `String.to_list`/`String.from_list`. - -Characters can also be introduced as character literals (`'x', '+', ...). - -Please refer to the `Char` [library documentation](sophia_stdlib.md#Char). - ### Byte arrays Byte arrays are fixed size arrays of 8-bit integers. They are described in hexadecimal system,