Robert Rand
Robert Rand
VOQC is by far the largest SQIR application, and I'd personally say that it makes even more sense to have as its own repo. On the other hand, there are...
I was just thinking, maybe make VQO and Shor top level in the SQIR repo? Maintaining Shor will be tricky anyway, given its dependencies.
That's more-or-less the answer Yves and Maxime gave at CoqPL. But if the notation for `1` supersedes the primitive number parser I would think that `-1` would too, when `-`...
We would represent `IZR (-1)` as `IZR (-1)`. These notations are for convenience so that we have a way of representing common real numbers like `7`. I don't need a...