A Programming Language For Quantum Oracle Construction. - Ayush Tambde (CoRR, 2021)