On Aug 17, 2012, at 9:23 AM, Ismael Figueroa Palet wrote: > I have a language grammar defined with PLAI's define-type, and was wondering > how to create a generator for random programs (even if they are ill-typed).
In that case, you should look at Redex's random testing facilities. For certain ideas, we use it to test Racket itself.
smime.p7s
Description: S/MIME cryptographic signature
____________________ Racket Users list: http://lists.racket-lang.org/users