From 6040c0a6df9601751e628405706bac18948b8eb3 Mon Sep 17 00:00:00 2001 From: Henry Stanley Date: Thu, 31 Mar 2022 21:36:09 +0100 Subject: [PATCH] Tiny typo fix to README.md (#235) --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 41b2d04d..9bde90cf 100644 --- a/README.md +++ b/README.md @@ -7,7 +7,7 @@ evaluation, enabling different applications to more easily interoperate. Key Applications -* Security policy: organization have complex infrastructure and need common +* Security policy: organizations have complex infrastructure and need common tooling to reason about the system as a whole * Protocols: expressions are a useful data type and require interoperability across programming languages and platforms.