Skip to content

Commit

Permalink
Update docs/blog/posts/announce-v0.1.md
Browse files Browse the repository at this point in the history
Co-authored-by: Lucas Franceschino <[email protected]>
  • Loading branch information
karthikbhargavan and W95Psp authored Jan 20, 2025
1 parent 57277ab commit 6e2a27e
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion docs/blog/posts/announce-v0.1.md
Original file line number Diff line number Diff line change
Expand Up @@ -60,7 +60,7 @@ Over the past year, hax has proven its versatility in various projects:

While hax can handle a substantial portion of Rust code, certain limitations
remain.
Features like Generic Associated Types (GATs), Rust nightly features, specific
Features like Generic Associated Types (GATs), some Rust nightly features, specific
loop and pattern structures, and a range of mutations are not yet supported.

??? hint "Detailed list of unsupported features"
Expand Down

0 comments on commit 6e2a27e

Please sign in to comment.