Great, thanks, I'll take a look this weekend.
On Fri, Aug 25, 2017 at 6:01 PM, Jay McCarthy
wrote:
> On Fri, Aug 25, 2017 at 11:46 AM, Laurent
> wrote:
> > Jay: Oh that's right, I'd forgotten about Lux! Thanks for the reminder, I
> > guess I should switch to that at some point. Correct me if I'
On Fri, Aug 25, 2017 at 11:46 AM, Laurent wrote:
> Jay: Oh that's right, I'd forgotten about Lux! Thanks for the reminder, I
> guess I should switch to that at some point. Correct me if I'm wrong, but it
> seems to integrate well with 2htdp/image also.
The default way to use the gui gives you the
On Fri, Aug 25, 2017 at 2:44 PM, Matthias Felleisen
wrote:
>
> :-)
>
> That’s not what I meant. I think that I need to figure out
> how to produce two version of ‘universe’ for the non-teaching
> world w/o completely forking the repo:
>
> — a functional one
> — an object-oriented one
>
> From w
If you are interested in non-teaching and something LIKE 2htdp/world,
then I suggest my package, lux. It uses generics (rather than classes
for OO) and exposes a lot more options in the gui. (It doesn't expose
starting position, but it would be appropriate to add them to
lux/chaos/gui's make-gui.)
:-)
That’s not what I meant. I think that I need to figure out
how to produce two version of ‘universe’ for the non-teaching
world w/o completely forking the repo:
— a functional one
— an object-oriented one
>From what I can tell, 2htdp/universe + image has some appeal as
as simple GUI
It's about non-teaching, which I suspect will not be in my favour :)
On Fri, Aug 25, 2017 at 1:31 PM, Matthias Felleisen
wrote:
>
> On Aug 25, 2017, at 7:43 AM, Laurent wrote:
>
> Hi all,
>
> 2htdp is really neat and very useful, so thank you designers and
> programmers of 2htdp!
>
> Sometimes
> On Aug 25, 2017, at 7:43 AM, Laurent wrote:
>
> Hi all,
>
> 2htdp is really neat and very useful, so thank you designers and programmers
> of 2htdp!
>
> Sometimes I wish to place the window/frame on the screen at a particular
> position, but the default sets it to (2, 2) as defined here:
>
Hi all,
2htdp is really neat and very useful, so thank you designers and
programmers of 2htdp!
Sometimes I wish to place the window/frame on the screen at a particular
position, but the default sets it to (2, 2) as defined here:
https://github.com/racket/htdp/blob/master/htdp-lib/2htdp/private/w
8 matches
Mail list logo