From 01622f81e99914ae31663950efc368c0f9b28c23 Mon Sep 17 00:00:00 2001 From: Sam Hart Date: Wed, 14 Oct 2020 17:08:20 +0200 Subject: [PATCH] Update README.md (#185) --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index cd6c82981..678574873 100644 --- a/README.md +++ b/README.md @@ -11,7 +11,7 @@ maintained by Informal Systems. There have been inadvertent divergences in the specs followed by the Go implementation and the Rust implementation respectively. -However, we are worked to reconverge these specs into a single unified spec. +However, we are working toward reconverging these specs into a single unified spec. Consequently, this repository is in a bit of a state of flux. At the moment, the spec followed by the Go implementation