From: David Van Horn (dvanhorn at ccs.neu.edu) Date: Wed Dec 5 15:56:35 EST 2012 |
|
On 12/5/12 3:44 PM, Ryan Culpepper wrote: > Require redex/reduction-semantics and redex/pict instead of redex. But the langauge actually needs redex -- running a module launches traces windows if you write #lang pcf traces. So doing this fixes the docs but breaks the language. David
Posted on the users mailing list. |
|