dvanhorn/pcf — pull request #24 by philnguyen (2014-09-27 04:06:17+00:00)
Title: encode (x = y => fx = fy), fixing previous false counterexample

This pull request encodes knowledge about the relation between arguments and results of functions, i.e. (`x` ... = `y` ...) implies (`fx⋯` = `fy⋯`), where `fx⋯` is the symbol resulting from (`f` `x` ...)