Author: Travis

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.