On 11/05/2016 09:14 AM, Ken MacKenzie wrote:
And particularly if you use emacs, what add ons or setup do you do for racket
or scheme editing in general.
I use mostly Emacs. Aside from what's already been recommended here, I
really like DrRacket's handling of input of non-keyboard characters
Hello,
I noticed that Racket detects the variables used without any value.
But let us consider the expression:
(or #t Gor)
Since "or" evaluates as few arguments as possible, the result is #t,
but this expression is rejected by Racket because "Gor" is unbound. So
the rule would become:
Hi Gregor,
Now my very first question ;)
If I have a list of string's, how can i recursivly iterate over that list and
compose a single string out of the elements of that list?
>
> ...
>
> I think I can use string-append, right?
> But how could I do that? Is there a idiomatic way to do that
Hi all,
I'm in the process of adding a fancy GUI on top of a proof assistant
that should show the binding structure of extracted code in a manner
reminiscent of DrRacket's arrows. This is especially important because
the code extraction process makes use of the results of
Hi all,
I'm looking for a way to check whether a mouse pointer is on top of a
particular pict that has been drawn to a canvas%.
Right now, the best I've been able to do is to render the pict to two
off-screen bitmaps with different background colors, and then check
whether or not the pixel
5 matches
Mail list logo