POPLOG ML

SML for the Poplog system from the University of Sussex, UK.