Skip to content

Commit

Permalink
README
Browse files Browse the repository at this point in the history
  • Loading branch information
@gavinleroy
gavinleroy authored Jun 10, 2024
1 parent fe348bf commit 3b76d58
Showing 1 changed file with 2 additions and 0 deletions.
2 changes: 2 additions & 0 deletions README.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -4,6 +4,8 @@

Argus is a tool to help you with compiler errors related to traits. If you have ever seen an error that says `the trait bound ... is not satisfied`, that is a good opportunity to use Argus. An IDE extension is available for VSCode which provides the Argus Inspection Panel.

> 📝 Argus development has temporarily moved to a **private repository** to respect grant conditions. Releases are expected to continue shortly.
## Limitations

> :warning: **Argus is research software and is under active development!** :warning:
Expand Down

0 comments on commit 3b76d58

Please sign in to comment.