Sitelet https://silq.ethz.ch/
More intuitive semantics

Overview on Grover's Algorithm

Reduce & simplify code

Comparison to Q#

Safe automatic uncomputation

Discussion of Uncomputation