Silq：一种量子编程语言的检查器、编译器及实验性解释器。
Silq quantum programming language type checker, compiler, and experimental interpreter.
