Primitive names: where should `update_at` live?

Open W95Psp opened this issue 2 years ago • 1 comments

See https://github.com/hacspec/hacspec-v2/pull/194#discussion_r1254163388

Jul 06 '23 09:07 W95Psp

@cmester0 this is related to what we are discussing those days with the namespacing of your core

Oct 03 '24 05: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.

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

Closing this in favour of a comprehensive annotated core lib approach.

Jan 09 '25 12:01 franziskuskiefer