Silq: High-level strong static typed programming language for quantum computinggithub.com/eth-sri4 pointsranit6 years ago