BNF at beginning of Section 3

[davdar]

is (1) missing the op2 case, (2) is labeled incorrectly (num and if are wrong), and (3) ideally should be defined in the same order as the code that follows (num before var, and the order or rec/lam/app). (3) is a minor stylistic fix, but (1) and (2) are bugs.

I'm having trouble building the paper in order to fix it. When I build using make, I get:

Output written on main.pdf (27 pages).
run-xelatex: got error exit code
  context...:
   /Applications/Racket v6.12/share/pkgs/scribble-lib/scribble/private/run-pdflatex.rkt:34:2: loop
   /Applications/Racket v6.12/share/pkgs/scribble-lib/scribble/private/run-pdflatex.rkt:16:0: run
   /Applications/Racket v6.12/share/pkgs/scribble-lib/scribble/private/indirect-renderer.rkt:38:8: for-loop
   .../more-scheme.rkt:261:28
   /Applications/Racket v6.12/share/pkgs/scribble-lib/scribble/render.rkt:33:0: render57
   /Applications/Racket v6.12/collects/racket/contract/private/arrow-val-first.rkt:428:3
   /Applications/Racket v6.12/share/pkgs/scribble-lib/scribble/run.rkt: [running body]
   /Applications/Racket v6.12/collects/raco/raco.rkt: [running body]
   /Applications/Racket v6.12/collects/raco/main.rkt: [running body]
make: *** [main.pdf] Error 1

If somebody else can confirm the paper builds for them (after doing a clean), I'll give another go at debugging why my attempt to build is failing, and then push a fix to the BNF if I'm successful.

[davdar]

I should mention this bug was brought to my attention by Luke Geeson via email. Thanks Luke!