chiark / gitweb /
wip adt-run syntax