On Tue, Apr 15, 2003 at 11:40:25AM +0100, Malcolm Wallace wrote: > You want a generator that can produce an arbitrary code fragment, > *given* what type you want it to have. So first, generate an arbitrary > type, then generate an arbitrary expression for it. "Generate an arbitrary proposition, then generate an arbitrary proof for it." Boy, it's _that_ simple? :) Lauri Alanko la@iki.fi