--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/progs/parser-combinators/build.sh Thu Jul 30 13:50:54 2020 +0100 @@ -0,0 +1,6 @@ +#!/bin/bash +set -euo pipefail + +amm comb1.sc +amm comb2.sc +