On Fri, Mar 7, 2008 at 11:11 PM, Noam Zeilberger <noam+ at cs.cmu.edu> wrote: > > I guess I'm assuming a restriction to bidirectional type-checking. My answer was the standard response to "I want general case expressions", but I see now that this was not what you asked for. -- /NAD