Text this: Quantum Computation and Logic