Re: [racket] "Insert Pict Box" menu item not found in DrRacket

On 2012-07-08 15:47:27 +0800, Grecks Grecks wrote: >Hi, I post an issue on github 2 month before.  >[1]https://github.com/plt/racket/issues/101 Thanks for the report! I just pushed a fix for this. Cheers, Asumu Racket Users list: http://lists.racket-lang.org/users

[racket] SFP 2012: Call for Papers

Call for Papers 2012 Workshop on Scheme and Functional Programming Copenhagen, Denmark Sunday 9 September 2012 http://users-cs.au.dk/danvy/sfp12 Important Dates --- Submission: 13 August 2012 Notification: 30 Augu

[racket] "Insert Pict Box" menu item not found in DrRacket

Hi, I post an issue on github 2 month before. https://github.com/plt/racket/issues/101 Maybe I should post it here to ask someone first. Anyway, I think it is just a trivial inconsistency. If there is a reason, I think I can close that issue. Racket Users list: http://list

Re: [racket] Does Redex have support for multi-hole evaluation contexts?

I encourage you to give K a try and report back how things go and/or even compare things a little (for the purposes of improving the tools, of course). Also, and I realize that it is a bit late, but there's this if you want to get some help getting started on a bunch of such things: https://fms

Re: [racket] Does Redex have support for multi-hole evaluation contexts?

On Mon, Jul 9, 2012 at 12:11 PM, Ryan Newton wrote: > We felt it was necessary to include simultaneous steps (Matthias's [A] > scenario) to model real parallel machines and force us to deal with > potentially incompatible simultaneous updates to the store. > > Lindsey had a slightly awkward time s

[racket] scribble: bracketed numbers with autobib

How can I get scribble to generate references like "blah [1]" instead of "blah (Foobar 2010)" I am already using scribble/autobib with make-bib so I would prefer if I could continue to do so. A quick read of the documentation suggests I should use (cite "foo") and (bib-entry #:key "foo") but

Re: [racket] Open recent

When you say "does not work", do you get an error, or do you just see an empty menu? Robby On Mon, Jul 9, 2012 at 1:33 PM, Jon Stenerson wrote: > Using DrRacket 5.2.1 on Ubuntu 12.04. The DrRacket recent list does not > work at program launch. I have to do a file save first. Then the recent lis

[racket] Open recent

Using DrRacket 5.2.1 on Ubuntu 12.04. The DrRacket recent list does not work at program launch. I have to do a file save first. Then the recent list works until next time I start DrRacket. Any ideas? Racket Users list: http://lists.racket-lang.org/users

[racket] Scribble pain-point: itemlist

We're hitting a particular pain-point in Scribble with regards to the itemlist function. I'm documenting this experience to inform any future Scribble designs. We're running into two pain points with itemlist: 1. The contract checking for itemlist does not give precise location on an item th

Re: [racket] Does Redex have support for multi-hole evaluation contexts?

On Jul 9, 2012, at 6:29 AM, Lindsey Kuper wrote: > I had been assuming that "one-step" meant "small-step", but > now I think that by "one-step" David means a relation that doesn't > reduce redexes in parallel. So, in fact, ours *is* multi-step because > it *does* reduce in parallel. Lindsey an

Re: [racket] Does Redex have support for multi-hole evaluation contexts?

On Sun, Jul 8, 2012 at 11:06 AM, David Van Horn wrote: > I doubt that this helps, but just in case... another notion of parallel > reduction is the one used in simple proofs of Church-Rosser, e.g. > >Masako Takahashi "Parallel Reductions in λ-Calculus", Information >and Computation 118(1),