Sun Dec 9 17:02:38 PST 2007 [EMAIL PROTECTED] * proof that strict writer satisfies its laws
A ./proofs/
A ./proofs/StrictWriter.txt
M ./src/MonadLib.hs -1 +3
M ./tests/WritersEvaluation.hs -7 +21
_______________________________________________
Cvs-libraries mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/cvs-libraries
