[racket] Typesetting with subscripts in Redex

2012-09-09 Thread Nada Amin
Hello, Redex has been really useful in exploring examples in a calculus we're developing. Now, I would like to use Redex's typesetting facility to render these examples (to avoid introducing bugs when translating them to TeX). For this, it would be great if I could specify that something should be

[racket] server never time out is not good, timeout manager takes down the server after timing out, JS automatically refreshes template pages doesn't work neither-- which way to go?

2012-09-09 Thread jenny sun
Hi, I have a problem. The web application will do some job A, which takes long time, so I make a thread to do the job A and make a refresh button for that to pull the result back. However, the problem is that, if A takes long time, the session in the user side will be timed out, which A's result

Re: [racket] Typesetting with subscripts in Redex

2012-09-09 Thread Matthew Flatt
At Mon, 10 Sep 2012 00:25:29 +0200, Nada Amin wrote: > Hello, > > Redex has been really useful in exploring examples in a calculus we're > developing. Now, I would like to use Redex's typesetting facility to > render these examples (to avoid introducing bugs when translating them > to TeX). For th

[racket] Using square parentheses for things that are not callable

2012-09-09 Thread Grant Rettke
Hi, Just listened to Rich Hickey's talk "Simple Made Easy": http://www.infoq.com/presentations/Simple-Made-Easy He mentioned implicitly a coding style where anything that is not callable uses a square bracket. The let family is one example. I think another one that fits are class constructors for

[racket] Initial ping: using DrRacket for Clojure

2012-09-09 Thread Grant Rettke
Hi, The primary editor for Clojure seems to be Emacs, which is great. IntelliJ and Eclipse are other options. Staring at DrRacket though I think it is a super editor even if one didn't use all of it's features with Clojure. My goal would be to get DrRacket into a state where it was basically a ri

Re: [racket] Typesetting with subscripts in Redex

2012-09-09 Thread Robby Findler
On Sun, Sep 9, 2012 at 6:52 PM, Matthew Flatt wrote: > Getting the line, column, and span for a rewriter result can be tricky. > Usually, you want the result of a rewriter to have the same start and > span as the input. I think I got that part right, below, too. with-compound-rewriter has some sm

Re: [racket] Typesetting with subscripts in Redex

2012-09-09 Thread Nada Amin
On Mon, Sep 10, 2012 at 6:46 AM, Robby Findler wrote: > On Sun, Sep 9, 2012 at 6:52 PM, Matthew Flatt wrote: >> Getting the line, column, and span for a rewriter result can be tricky. >> Usually, you want the result of a rewriter to have the same start and >> span as the input. I think I got that