Aihe: Quantum programming