hax icon indicating copy to clipboard operation
hax copied to clipboard
verified publisher icon hacspec

Frontend: add support for `GAT`s

Open W95Psp opened this issue 1 year ago • 1 comments

https://blog.rust-lang.org/2022/10/28/gats-stabilization.html

W95Psp avatar Sep 26 '24 14:09 W95Psp

Related:

  • https://github.com/hacspec/hax/pull/970

W95Psp avatar Oct 07 '24 15:10 W95Psp

This issue has been marked as stale due to a lack of activity for 60 days. If you believe this issue is still relevant, please provide an update or comment to keep it open. Otherwise, it will be closed in 7 days.

github-actions[bot] avatar Dec 07 '24 02:12 github-actions[bot]

Still relevant

W95Psp avatar Dec 16 '24 07:12 W95Psp