RE: [racket-users] defform quastion

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

RE: [racket-users] defform quastion

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

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

[racket-users] defform quastion

Hi, I have tried to use defform of scribble to describe the following: syntax ($ infix-expr) → any infix-expr ::= addition addition ::= term addition ::= addition + term addition ::= addition - term term ::= etc. Using #:grammar I can easily get: addition = term | (ad