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.