dvanhorn/pcf — pull request #17 by philnguyen (2014-09-12 04:22:42+00:00)
Title: fix pattern in scpcf's havoc rule + fix implementation of `/`

This pull request:
* Fixes pattern in `scpcf/heap/semantics.rkt`'s `havoc` not matching when some of the argument is opaque
* Fixes `/` as an alias for `quotient` (I define `÷` as both)