Image
More intuitive semantics

Image Overview on Grover's Algorithm

Image
Reduce & simplify code

Image Comparison to Q#

Image
Safe automatic uncomputation

Image Discussion of Uncomputation