The current ripple carry adder reference solution could be a bit more…

[abrassel]

Instead of manually applying the adjoints to clean up afterwards, we can use Q#'s very nice within {...} apply {...} syntax to do it for us.

[ghost]

All CLA requirements met.

[abrassel]

It looks like the failures are for graph coloring? Maybe spurious.