Re: [racket-users] add set-subset?

2018-10-05 Thread Ben Greenman
Yes, @index

I learned about it to put "powerset" to the docs, and always go back
to that example when something like this comes up:
https://github.com/racket/racket/blob/master/pkgs/racket-doc/scribblings/reference/pairs.scrbl#L1333

-- 
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.google.com/d/optout.


Re: [racket-users] add set-subset?

2018-10-05 Thread 'John Clements' via Racket Users
Do we have an existing doc redirect mechanism? I’ve just spent five minutes 
looking at docs for defproc and the “Indexing” section, and didn’t find 
anything. Doesn’t mean it’s not there, but I did have a look. Then again, this 
thread is a living testament to my inability to find things in scribble 
documentation!

John

> On Oct 5, 2018, at 7:30 AM, Greg Hendershott  
> wrote:
> 
> Could we add a macro to allow defining alias names? Could call it
> `set!-set-subset?`.
> 
> And probably want a way to see all such aliases:
> `get-set!-set-subset?-set-subs`.
> 
> 
> p.s. In all seriousness, the doc redirect is a great idea.
> 
> -- 
> 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.google.com/d/optout.



-- 
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.google.com/d/optout.


Re: [racket-users] add set-subset?

2018-10-05 Thread Greg Hendershott
Could we add a macro to allow defining alias names? Could call it
`set!-set-subset?`.

And probably want a way to see all such aliases:
`get-set!-set-subset?-set-subs`.


p.s. In all seriousness, the doc redirect is a great idea.

-- 
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.google.com/d/optout.


Re: [racket-users] add set-subset?

2018-10-04 Thread Ben Greenman
How about a pull request that redirects searches for "set-subset?" to
the `subset?` function?

-- 
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.google.com/d/optout.


Re: [racket-users] add set-subset?

2018-10-04 Thread David Storrs
I am so glad that I'm not the only one who does this.

On Thu, Oct 4, 2018 at 2:16 PM 'John Clements' via Racket Users <
racket-users@googlegroups.com> wrote:

> D’oh! It’s just called subset?
>
> Sorry,
>
> John
>
>
> > On Oct 4, 2018, at 11:16 AM, 'John Clements' via Racket Users <
> racket-users@googlegroups.com> wrote:
> >
> > It seems strange to me that we have (AFAICT) set-union, set-subtract,
> and set-member?, but not set-subset?. Would it make sense for me to propose
> a pull request for this? (it would just be (set-empty? (set-subtract b a)),
> I realize…)
> >
> > John
> >
> >
> >
> > --
> > 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.google.com/d/optout.
>
>
>
> --
> 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.google.com/d/optout.
>

-- 
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.google.com/d/optout.


Re: [racket-users] add set-subset?

2018-10-04 Thread 'John Clements' via Racket Users
D’oh! It’s just called subset?

Sorry,

John


> On Oct 4, 2018, at 11:16 AM, 'John Clements' via Racket Users 
>  wrote:
> 
> It seems strange to me that we have (AFAICT) set-union, set-subtract, and 
> set-member?, but not set-subset?. Would it make sense for me to propose a 
> pull request for this? (it would just be (set-empty? (set-subtract b a)), I 
> realize…)
> 
> John
> 
> 
> 
> -- 
> 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.google.com/d/optout.



-- 
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.google.com/d/optout.


[racket-users] add set-subset?

2018-10-04 Thread 'John Clements' via Racket Users
It seems strange to me that we have (AFAICT) set-union, set-subtract, and 
set-member?, but not set-subset?. Would it make sense for me to propose a pull 
request for this? (it would just be (set-empty? (set-subtract b a)), I realize…)

John



-- 
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.google.com/d/optout.