[------ The Types Forum ------- http://www.dcs.gla.ac.uk/~types ------] Hi, Does anybody know if there exists an implementation that translates NuPrl extract terms into Standard ML programs? I would also be interested in translation into other programming languages. Cheers, Jon Whittle