[racket] Fresh sandboxes in Scribble documentation
6 hours ago, Neil Toronto wrote:
> Eli Barzilay wrote:
> > *snipped a bunch of interesting ideas*
>
> I finally have a solution: fake Typed Racket into allowing
> redefinitions by alpha-renaming everything defined at the top level.
> [...]
So you didn't really solve the problem. Specifically, Sam mentioned
some things that can't be used in the repl (typed structs, IIRC).
> I would like to have something like this in the TR REPL itself.
(Sounds to me like a bad idea...)
--
((lambda (x) (x x)) (lambda (x) (x x))) Eli Barzilay:
http://barzilay.org/ Maze is Life!