11 Nov
2011
11 Nov
'11
6:09 p.m.
On Fri, 11 Nov 2011 00:02:56 -0500, Brent Yorgey <byorgey@seas.upenn.edu> wrote:
On Fri, Nov 11, 2011 at 01:21:58AM +0100, Daniel Schoepe wrote:
On Thu, 10 Nov 2011 15:55:48 -0700, kolli kolli <nammukolli04@gmail.com> wrote:
with Just TypeBool, and not just TypeBool.
An unfortunate case of significant case. ;)
Yeah, now that you mention it, this was probably not the best way to put it. :) Cheers, Daniel