Description
Agda source code and qemu VM for the implementation of the programming language described in the paper. Also contains runnable tests as well as some proofs reasoning with programs in QuantumPi.
Data Citation
Carette, J., Sabry, A., Heunen, C., & Kaarsgaard, R. (2024). Software for "How to Bake a Quantum Pi" (v1.0.0). Zenodo. https://doi.org/10.5281/zenodo.11491613
| Date made available | 5 Jun 2024 |
|---|---|
| Publisher | Zenodo |
Cite this
- DataSetCite