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