guppylang icon indicating copy to clipboard operation
guppylang copied to clipboard
verified publisher icon CQCL

Suggest removing `@owned` if it's not required and would fix an error

Open mark-koch opened this issue 1 year ago • 1 comments

For example, see https://github.com/CQCL/guppylang/pull/723#discussion_r1887148541

mark-koch avatar Dec 16 '24 16:12 mark-koch

would be nice to have a tracking/parent issue for compiler hints

ss2165 avatar Dec 16 '24 16:12 ss2165