Homebrew formula to install silq
Due to lack of tags in the source repo, I've pinned the formula to a specific commit and hence the --HEAD option is needed
brew install --HEAD axrj/silq/silq
Or brew tap axrj/silq and then brew install --HEAD silq.
After installation, silq should be available as a regular command
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 or check Homebrew's documentation.