Went for a walk and had an idea. I think this sample illustrates the answer
to my own question:
#lang slideshow
(define (retract-up-to s retracted)
(let ([newly-retracted (retract-most-recent-slide)])
(if (eq? newly-retracted s)
(cons newly-retracted retracted)
(retract-up-t
Hi,
I'm working on some lecture slides and I'd like my students to list some
examples. My idea was to have a few question marks on my slides that I
would click to reveal the example whenever someone calls it out. But I'm
stuck, because while I can add a slide at the end of the presentation and
Hi Richard,
My first impulse would be to write the document DSL or DSLs as a Scribble
dialect. Scribble allows you to freely insert code in text documents and
enables PDF rendering. I'm not sure if there is a best practice for writing
Scribble languages, but I've found that it's easier to start
from her web site —
> Matthias
>
>
>
>
> On Dec 5, 2017, at 1:37 AM, Vincent Nys >
> wrote:
>
> Matthias,
>
> Thank you for your input. I will look into enlisting a proof assistant.
>
> Regards,
>
> Vincent
>
> Op maandag 4 december 2017 19:23:16
Matthias,
Thank you for your input. I will look into enlisting a proof assistant.
Regards,
Vincent
Op maandag 4 december 2017 19:23:16 UTC+1 schreef Matthias Felleisen:
>
>
> > On Dec 4, 2017, at 9:47 AM, Vincent Nys > wrote:
> >
> > Hi,
> >
>
Hi,
I'm currently working on a program transformation technique for logic
programs. The technique uses abstract interpretation, so I have an abstract
program semantics and the main operation is an abstraction of resolution. I
would like to prove a particular property of this semantics (namely t
Strange Loop one looks good.
--
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.go
Thank you, everyone, for the feedback!
Comparing even more solutions should be great for learning, so I'll think about
an "official" channel for that. Right now, I need some more content first (like
the rest of Chapter 1 :-)) but I've opened a ticket so I won't forget.
"Emu" is about 40% becaus
Hi,
I recently read Beautiful Racket and I found it very inspiring, so I started my
own Racket project book using Pollen. I'm not a great programmer, but that's
the point.
Please have a look at it at http://users.telenet.be/vincent-nys/index.html.
Feedback is welcome, preferab
Congrats! I've gone through all the chapters and it has been the most
entertaining programming book I have ever read. It's been practical, too, as I
have already used bits of it in a medium-sized (first) Racket project. I would
gladly buy it and will recommend it to many of my co-workers.
Regar
10 matches
Mail list logo
