From e12cbef99f6a6332c34bf51e98249304554fb5b8 Mon Sep 17 00:00:00 2001 From: Michael Sippel Date: Sun, 1 Oct 2023 17:02:26 +0200 Subject: [PATCH] README: fix spelling --- README.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index 156d6f5..7091c2e 100644 --- a/README.md +++ b/README.md @@ -24,8 +24,8 @@ application domain. Trying to introduce a global type system at IPC level would result in naming conflicts: Abstract concepts like 'natural number' do not have -any standard representational form, as it is the case in other more -contained langugaes. With a simple type name like this it is not clear +any standard representational form, as it is the case with other more +contained languages. With a simple type name like this it is not clear which of the many equivalent representations is required, e.g. for an *integer number* variations over radices, endianness, digit encoding etc. exist.