Re: [racket-users] Rackterm error

On Tue, Sep 05, 2017 at 05:07:41PM -0400, James wrote: I'm trying out Rackterm for the purpose of running commands put together from a GUI but it looks like the thread is crashing as soon as I try to create a terminal canvas. Is it something I am not doing right or is there a bug? I am able

Re: [racket-users] Redex v6.4 "broke" LambdaJS

On Wednesday, September 6, 2017 at 2:45:18 PM UTC-4, Sam Caldwell wrote: > History behind this change:  > https://groups.google.com/d/msg/racket-users/1SVVqsg4ARQ/vVxKiAvaAQAJ > Relevant commit:  > https://github.com/racket/redex/commit/cbb2d88b98fb814325f0d4ee468e1abaf4f6c3a7 > > So changing e_1

Re: [racket-users] Redex v6.4 "broke" LambdaJS

History behind this change: https://groups.google.com/d/msg/racket-users/1SVVqsg4ARQ/vVxKiAvaAQAJ Relevant commit: https://github.com/racket/redex/commit/cbb2d88b98fb814325f0d4ee468e1abaf4f6c3a7 So changing e_1 and e_2 to be anything that is *not* a non-terminal in your model should do the trick.

Re: [racket-users] Redex v6.4 "broke" LambdaJS

I think it'll work if you delete the underscores, e.g. change "e_1" to "e1". On Wed, Sep 6, 2017 at 2:22 PM, wrote: > (For some reason the mail I sent to usersracket-lang.org last week > never made it to the Google Group, so I'm posting directly...) > > Hello, > > I'm a

[racket-users] Redex v6.4 "broke" LambdaJS

(For some reason the mail I sent to usersracket-lang.org last week never made it to the Google Group, so I'm posting directly...) Hello, I'm a 2nd year PhD student working with Shriram Krishnamurthi on improving Redex's testing/checking performance and capabilities. I was looking to use

[racket-users] Inside Racket Seminar 7. Alexis King on Hackett

On September 22nd at 3:30pm Eastern time, please join us for the seventh Inside Racket Seminar where Alexis King will give us a walk-through of the Hackett programming language implementation. As before, it will be on Google Hangouts on Air with Alexis walking through the code and giving an