link hacl rust docs (#415)

cryspen · Jun 16, 2023 · e3411ff · e3411ff
1 parent 2e64d5b
commit e3411ff
Showing 1 changed file with 6 additions and 4 deletions.
diff --git a/docs/book/src/hacl-rust/readme.md b/docs/book/src/hacl-rust/readme.md
@@ -2,9 +2,11 @@
 
 The `hacl-rust` crate provides bindings to the HACL C package in Rust.
 
-<!-- This documentation shows how to use `hacl-rust`.
-There are also [rustdocs] for full API documentation. -->
+See the [rust docs] for more information and get the create from [crates.io].
 
-> ⚠️ The Rust bindings are work in progress.
+```bash
+cargo add hacl
+```
 
-[rustdocs]: https://docs.rs/hacl-rust
+[rust docs]: https://cryspen.com/hacl-packages/rust/main/hacl/index.html
+[crates.io]: https://crates.io/crates/hacl