Overview on Grover's Algorithm
Comparison to Q#
Examples of prevented errors
Discussion of Uncomputation
Examples of rejected unphysical programs
Installation instructions