Pay (more) attention to the fact that not all FOL variables are real
numbers.
Typo.
Upcoming versions of asm.js (e.g., Firefox 24) are apparently less
happy with void-returning functions in expression position than the
one the demo was tested with.
Future asm.js (Firefox 24) plans to require all function calls to be
explicitly coerced to their return type, and doing so is harmless for
current asm.js.
Now that I have the map of inferred types anyway, I don't need to pass
the expected return type around (just whether the call is in tail
position or not).
More precise representation of constants.
Update the unit tests to reflect changes in the output of the asm.js backend.
Automatically take out the redundant multiplication by -1 from the
mandelbrot example, and explain why I am not doing it properly.