Merge pull request #17 from hacspec/remove-warning

remove warning about the book being rewritten
hacspec · May 14, 2024 · 652ad81 · 652ad81
2 parents f7e437b + 1961804
commit 652ad81
Showing 1 changed file with 0 additions and 6 deletions.
diff --git a/src/readme.md b/src/readme.md
@@ -12,9 +12,3 @@ standard library, to write succinct, executable, and verifiable specifications i
 Rust.
 These specifications can be translated into formal languages with hax.
 
-# ⚠️ Warning: this book is currently being rewritten! ⚠️ 
-
-hax is the successor of hacspec. You can find the previous book
-describing hacspec [here](/archive), but keep in mind most of the information
-there is outdated.
-