diff --git a/README.md b/README.md index ed40a73e..1be31f12 100644 --- a/README.md +++ b/README.md @@ -23,6 +23,7 @@ https://egraphs.zulipchat.com/#narrow/stream/328979-Implementation/topic/Eggsmol ``` apt-get install make cargo +cargo install cargo-nextest make all ```