A new programming language for quantum computing
The language can describe and verify which pieces of data are entangled to prevent bugs in a quantum program.
The language can describe and verify which pieces of data are entangled to prevent bugs in a quantum program.