Re: [racket-users] defform quastion

2015-06-04 Thread Matthew Flatt
You can use `code:line` to group terms without parentheses: (code:line addition + term) At Thu, 4 Jun 2015 16:53:33 +0200, "Jos Koot" wrote: > Hi, > > I have tried to use defform of scribble to describe the following: > > syntax ($ infix-expr) → any > > infix-expr ::= addition > > addit

RE: [racket-users] defform quastion

2015-06-04 Thread Jos Koot
Hi Mathhew, Thanks very much. I am sorry I did not see code:line by myself. Jos -Original Message- From: Matthew Flatt [mailto:mfl...@cs.utah.edu] Sent: jueves, 04 de junio de 2015 17:01 To: Jos Koot Cc: 'Racket-Users List' Subject: Re: [racket-users] defform quastion Y

RE: [racket-users] defform quastion

2015-06-05 Thread Jos Koot
unio de 2015 17:01 To: Jos Koot Cc: 'Racket-Users List' Subject: Re: [racket-users] defform quastion You can use `code:line` to group terms without parentheses: (code:line addition + term) At Thu, 4 Jun 2015 16:53:33 +0200, "Jos Koot" wrote: > Hi, > > I hav