Update hax-lib-macros/types/README.md

Co-authored-by: Lucas Franceschino <[email protected]>
hacspec · May 13, 2024 · 9dd4074 · 9dd4074
1 parent a2ef836
commit 9dd4074
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/hax-lib-macros/types/README.md b/hax-lib-macros/types/README.md
@@ -1,3 +1,3 @@
 # hax internal types
 
-A create with hax internal types.
+A crate that defines the types of the various payloads of the attributes produced by the crate `hax-lib-macros` and consumed internally by the engine of hax.