log src/monoize.sml

age author description
Thu, 28 May 2009 10:35:25 -0400 Adam Chlipala Demo compiles with pattern-matching-fu
Tue, 26 May 2009 12:25:06 -0400 Adam Chlipala Chars and more string operations
Sat, 23 May 2009 10:14:51 -0400 Adam Chlipala Change monoization of monads to allow partial applications of operations