[racket-users] allignment in defform

2015-06-13 Thread Jos Koot
defform of scribble/manual very well alligns the elements of #:grammar. Every = and | is well alligned. However, it does not align the collons of #:contract. Not a problem, of course. Just a matter of elegance, I think. Best wishes, Jos Koot BTW The more I use scribble, the more I like it. -

Re: [racket-users] OK to post Redex and HtDP questions here?

2015-06-13 Thread Matthias Felleisen
Yes. On Jun 13, 2015, at 9:04 AM, Harold Carr wrote: > Is it OK to post Redex and HtDP questions here? > > -- > 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 > em

Re: [racket-users] iso-recursive types not allowed in TR?

2015-06-13 Thread Alexander D. Knauth
On Jun 13, 2015, at 12:18 AM, 'John Clements' via users-redirect wrote: > Okay, I shouldn’t change topics, but while I’ve got you (guys): it looks like > (module+ test …) now works in TR, but not when there are imported bindings… > suppose I have foo.rkt: I’ve run into similar problems with

[racket-users] Re: OK to post Redex and HtDP questions here?

2015-06-13 Thread Luke Miles
I don't post here a whole lot, but >From the description of this mailing list: "This is the right place for discussion of nearly all Racket issues." So I'd say yeah. -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group

[racket-users] OK to post Redex and HtDP questions here?

2015-06-13 Thread Harold Carr
Is it OK to post Redex and HtDP questions here? -- 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, visi

Re: [racket-users] iso-recursive types not allowed in TR?

2015-06-13 Thread Hendrik Boom
On Fri, Jun 12, 2015 at 06:06:05PM -0700, 'John Clements' via users-redirect wrote: > > > On Jun 12, 2015, at 5:52 PM, Alexander D. Knauth > > wrote: > > > > > > On Jun 12, 2015, at 8:30 PM, 'John Clements' via users-redirect > > wrote: > > > >> Here’s the type I want to write: > >> > >>