#!/bin/rc

cmd=`{doctype $*}
while(){
	$cmd | proof &
	watch $* > /dev/null && slay proof | rc
}