From a66bb37e320a5cae71b32f834711bd43c00d8610 Mon Sep 17 00:00:00 2001 From: Josef Widder <44643235+josef-widder@users.noreply.github.com> Date: Thu, 10 Sep 2020 15:07:24 +0200 Subject: [PATCH] Update README.md (#160) --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index d93d06404..cd6c82981 100644 --- a/README.md +++ b/README.md @@ -17,7 +17,7 @@ Consequently, this repository is in a bit of a state of flux. At the moment, the spec followed by the Go implementation (tendermint/tendermint) is in the [spec](spec) directory, while the spec followed by the Rust implementation -(informalsystems/tendermint-rs) is in the rust-spec +(informalsystems/tendermint-rs) is in the [rust-spec](rust-spec) directory. TLA+ specifications are also in the rust-spec directory. Over time, these specs will converge in the spec directory.