[plt-scheme] PLT Redex w/ 301.13

From: Paul A. Steckler (steck at stecksoft.com)
Date: Wed May 31 17:22:55 EDT 2006

> As others have pointed out, the problem is you need to do something like
> (require (planet "reduction-semantics.ss" ("robby" "redex.plt" 2 2)))
> to require the reduction-semantics module.  And so on for others modules.

Ah, that did the trick, thanks.

I had just copied the `require' expression from the PLaneT page, 
which contains the funny string "[file]".

-- Paul

Posted on the users mailing list.