Silq: A strongly-typed high-level programming language for quantum computingsilq.ethz.ch2 pointsjoy_void_joy3 years ago