Qunity: A Unified Language for Quantum and Classical Computing (Extended Version)
Finn Voichick, Liyi Li, Rand, Robert, Michael D. Hicks · arXiv (Cornell University) · 2022
This code repository is designed to accompany the paper "Qunity: A Unified Language for Quantum and Classical Computing." You can run the "make" command to compile our proofs. See the README.md file for more details.