On Wed, Oct 01, 2008 at 11:35:57 +0200, Florent Becker wrote: > I was documenting a type application, so it _is_ code you would find in > the source.
Doh! My apologies. I shouldn't be doing this with half-attention, sorry. > I wrote 'Hopefully p C(x y)' is equivalent to 'Either String (p C(x > y))'. (or did I do a typo and put Cs in a function?) By the way, why not Hopefully (p C(x y))? -- Eric Kow <http://www.nltg.brighton.ac.uk/home/Eric.Kow> PGP Key ID: 08AC04F9
signature.asc
Description: Digital signature
_______________________________________________ darcs-users mailing list [email protected] http://lists.osuosl.org/mailman/listinfo/darcs-users
