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.