[Haskell-cafe] Re: Optimizing 'sequence'
voigt at tcs.inf.tu-dresden.de
Tue Jul 22 03:44:36 EDT 2008
Gracjan Polak wrote:
> Initially I spotted this possible optimization in context of monadic parser. I
> am not really sure if I need this property there or not. How do I prove this to
How about some QuickChecking in connection with the "Chasing bottoms"
Dr. Janis Voigtlaender
mailto:voigt at tcs.inf.tu-dresden.de
More information about the Haskell-Cafe