29 Apr
2003
29 Apr
'03
7:39 a.m.
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