Algorithms.BF.QuantumIf

Quantum "if then else" statements

data Boolean a

data BooleanAnd a

booleanToAnd'

stripDoubleNot

booleanToAnd

booleanAnd'

booleanAnd

if_then_elseQinv

if_then_elseQ