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

Unify checking and compiling worklists

Open mark-koch opened this issue 7 months ago • 1 comments

mark-koch avatar May 29 '25 13:05 mark-koch

We should wait with this until #1018 is done

mark-koch avatar Jun 12 '25 15:06 mark-koch