samth/var — Issue #5: Demonic for functions of arity != 1 not right
Author: dvanhorn
Created: 2011-10-28 23:11:46+00:00
State: open

The (demonic (pred ...)) case does not handle functions with arity not equal to 1 right since it only applies the function to one black hole.