jwiegley/hnix — pull request #10 by bergey (2014-08-03 16:05:00+00:00)
Title: Formal parameters 

Needs more testing, in particular that it doesn't confuse sets with formals or something.