Silq：面向量子计算的高级强静态类型化编程语言

SILQ是一种用于量子计算的高级编程语言，具有强大的静态类型系统。更多信息：https://silq.ethz.ch。

这里给出的构建说明是针对GNU/Linux和OSX的。Silq也可以构建在其他平台上，您可以自由地为您喜欢的平台编写一个带有工作构建脚本的Pull请求。

运行./silq example.slq，其中example.slq是键入check该源文件的Silq源文件。

run./silq example.slq--run，其中example.slq是Silq源文件，输入check并模拟该源文件中的main函数。