[Haskell-cafe] Parsing with Proof

Martijn van Steenbergen martijn at van.steenbergen.nl
Tue Mar 31 17:46:50 EDT 2009

Hi muad,

muad wrote:
> I think I can write such a function in a few different ways, but I don't
> know how to prove this code works, could anybody show me how?

Why don't you pick a specific implementation first and share it with us? 
  The proof heavily depends on the precise implementation.

Kind regards,


More information about the Haskell-Cafe mailing list