From e3aaa1a6e5872cf3c0cdfb387b71684ce29954ee Mon Sep 17 00:00:00 2001 From: Gavin Gray Date: Fri, 23 Feb 2024 23:51:38 +0100 Subject: [PATCH] README --- README.md | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) diff --git a/README.md b/README.md index a81b08f..8a85db2 100644 --- a/README.md +++ b/README.md @@ -10,11 +10,18 @@ Argus is a tool to help you with compiler errors related to traits. If you have Argus relies on the New Trait Solver for Rust. Therefore, Argus inherets all the limitations of that solver which is also _under active development_. The New Trait Solver is known to be unsound and incomplete — while using Argus you may accidentally run into these areas. This does not mean that Argus is useless. The New Trait Solver is only used to type-check the current workspace and still works if you're using a trait-heavy crate. + + +https://github.com/cognitive-engineering-lab/argus/assets/20209337/a4fb0263-6d42-4831-99d8-7522e135f61a + + + ## Installation Argus is available as a VSCode extension. You can install Argus from the [VSCode Marketplace]() or the [Open VSX Registry](). In VSCode: -- Go to the extensions panel by clicking this button in the left margin: +- Go to the extensions panel by clicking this button in the left margin: Screenshot 2024-02-23 at 23 26 58 + - Search for "Argus" and click "Install". - Open a Rust workspace and wait for Argus to finish installing.