QWIRE icon indicating copy to clipboard operation
QWIRE copied to clipboard
verified publisher icon inQWIRE

Fix a bug in QASM.v

Open thwfhk opened this issue 5 years ago • 0 comments

When I run make qasm with Coq 8.13.1, the id : R -> R imported by Require Import Reals. overrides Definition id := string. and causes a compile error. So I move all relevant import statements to the top.

thwfhk avatar Apr 08 '21 17:04 thwfhk