阿克斯里·西尔克(Axrj Silq)
自制配方安装
如何安装这些公式?
由于源存储库中缺少标签,因此我将公式固定为特定的提交,因此需要--HEAD选项
brew install --HEAD axrj/silq/silq
或brew tap axrj/silq ,然后brew install --HEAD silq 。
安装后, silq应该可以作为常规命令使用
echo "def main(){ x:=H(false); return measure(x); }" > /tmp/prog.slq
#Type check
silq /tmp/prog.slq
#Run program - outputs 0 or 1
silq /tmp/prog.slq --run
文献资料
brew help , man brew或查看。