patch applied (packages/monadLib): proof that strict writer satisfies its laws

diatchki at cse.ogi.edu diatchki at cse.ogi.edu
Sun Dec 9 20:51:19 EST 2007

Previous message: patch applied (packages/monadLib): Add accidentally removed monadLib with type families
Next message: patch applied (packages/monadLib): Replace WriterT with what used to be StrictWriterT
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Sun Dec  9 17:02:38 PST 2007  diatchki at galois.com
  * 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

Previous message: patch applied (packages/monadLib): Add accidentally removed monadLib with type families
Next message: patch applied (packages/monadLib): Replace WriterT with what used to be StrictWriterT
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Cvs-libraries mailing list