So, I can start a racket REPL in Emacs geiser. Then I can type (require typed/racket)
and it seems to take, i.e., I'm ready to go with basic typed racket. This works as well from org-mode "babel" code blocks. Now I'd like to do the same with plai-typed -- so I can follow along with the PLAI book. How can I switch to the plai-typed language in a running geiser racket REPL? Even better would be how to do this in an org-mode babel source code block. BTW, I'd use DrRacket (and Scribble?) if someone could show/tell me how to do all the things org-mode does toward literate programming and leverage all the publishing capabilities (html, latex). Also, I don't really need org-mode "to-do". LB -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
