[racket-users] Re: Removing duplicates from a list while maintaining order

2015-06-03 Thread Prabhakar Ragde
This is a homework question of mine (though I don't think the OP is doing homework for a course for credit; I'd be curious to know where he found it). I usually state the restrictions on 'reverse' and 'remove', but not 'member?'. The restriction on 'reverse' is so that students don't write one

[racket-users] TeX- and LaTeX-inspired keybindings

2015-07-14 Thread Prabhakar Ragde
Is there a simple way to extend the list of these and/or provide synonyms? (DrRacket documentation, section 3.3.8.) I would like to, for example, be able to type \and, or at least \land, rather than \wedge. Thanks. --PR -- You received this message because you are subscribed to the Google

[racket-users] Scribble PDF button on OS X 10.11

2016-01-12 Thread Prabhakar Ragde
I upgraded to OS X 10.11 (El Capitan), and now when I launch DrRacket from the Dock, the "Scribble PDF" button cannot find the pdflatex executable. Upgrades tend to mess things up but in this case /usr/local/texbin no longer exists and cannot be created in the new OS. It was a symlink to

[racket-users] slow LaTeX error output while using Scribble?

2016-03-29 Thread Prabhakar Ragde
I've started to do Scribble work within DrRacket with 6.4, and I've noticed that when I use the "Scribble PDF" button, and something goes wrong, the copious LaTeX error output that shows up in the Interactions window is much slower to scroll to completion than before (on the order of tens of

[racket-users] Good Data Structures Book?

2016-12-14 Thread Prabhakar Ragde
Lawrence Bottorff wrote: Can someone suggest a good text for data structures that would compatible with Racket? All I see are treatments using C/C++, Java, Python, i.e., the usual suspects. Or, how do you people at Racket-friendly/based universities teach undergrad data structures? I am

[racket-users] Re: Getting young children started with Racket

2018-03-04 Thread Prabhakar Ragde
On Saturday, March 3, 2018 at 8:41:16 AM UTC-5, Paulo Matos wrote: > > Hello, > > I have a 7yo daughter currently in 1st grade (Germany) and she was given > a password for the school computer. Having never touched a computer > before she is now being introduced to typing and the mouse. > > I

[racket-users] Re: Understanding P. Ragde's Proust

2020-03-16 Thread Prabhakar Ragde
On Sunday, March 15, 2020 at 10:00:59 AM UTC-4, Adrian Manea wrote: > > > I'm a mathematician delving into type theory and proof assistants and with > special interests in Racket. > > I'm now trying to understand and implement P. Ragde's Proust > "nano proof

[racket-users] Re: Understanding P. Ragde's Proust

2020-06-30 Thread Prabhakar Ragde
and I have to say I don't feel quite > prepared to fill in the details myself. So I'm doing my best to learn some > preliminaries and general Racket first! > > Thank you, > Adrian > > On Monday, March 16, 2020 at 12:08:51 PM UTC, Prabhakar Ragde wrote: >> >&

[racket-users] Re: Removing duplicates from a list while still maintaining order in Dr. Racket.

2020-07-21 Thread Prabhakar Ragde
Could you point us to the original homework question so we can be sure of the requirements? Thanks. On Monday, July 20, 2020 at 12:04:45 PM UTC-4, JJ C wrote: > > In Beginning Student with List Abbreviations > > I am struggling to come up with functions to remove duplicates from a list > while