dvanhorn/pcf — pull request #23 by philnguyen (2014-09-24 15:38:35+00:00)
Title: fix unwatnted memoization + add example illustrating deficiency

This pull request:
* Fixes an unwanted memoization from Redex in `havocᵢ`
* Illustrates that we might need the theory of uninterpreted functions to get more sensible counterexamples.