Very cool! The examples on this page are Scheme implementations of the Examples section of his 2003 paper[0] linked on the page. He goes over the derivation of

Very cool! The examples on this page are Scheme implementations of the Examples section of his 2003 paper[0] linked on the page. He goes over the derivation of the programs for these examples in more detail in the paper. [0]: https://arxiv.org/pdf/quant-ph/0307150.pdf https://arxiv.org/pdf/quant-ph/0307150.pdf