log src/mono.sml

age author description
2008-10-21 Adam Chlipala Binops; equality tested on int; lame 404 substitute
2008-09-14 Adam Chlipala SQL sequences
2008-09-07 Adam Chlipala First INSERT works
2008-09-07 Adam Chlipala pquery working with all four types of columns
2008-09-07 Adam Chlipala 'read' type class
2008-09-07 Adam Chlipala Converting string to int
2008-09-07 Adam Chlipala 'error' function
2008-09-02 Adam Chlipala Table declarations pushed to Cjr
2008-09-02 Adam Chlipala 'database' declaration threaded through compiler
2008-08-31 Adam Chlipala Monoized and optimized initial query test
2008-08-31 Adam Chlipala Monoize transaction identifiers; improve disjointness prover on irreducible folds; change 'query' type
2008-08-09 Adam Chlipala Lists all the way through
2008-08-03 Adam Chlipala Datatype representation optimization
2008-08-03 Adam Chlipala bool in Basis
2008-08-03 Adam Chlipala FFI datatypes
2008-08-03 Adam Chlipala Compiled pattern matching to C
2008-08-03 Adam Chlipala First part of getting cases through monoize
2008-07-29 Adam Chlipala Storing datatype constructors in type references past monoize
2008-07-29 Adam Chlipala Datatypes through monoize
2008-07-22 Adam Chlipala Simple forms work
2008-07-17 Adam Chlipala Tagging (non-mutual) 'val rec'
2008-07-14 Adam Chlipala Passing an argument to a web function
2008-07-13 Adam Chlipala Cjr ready for dispatch code generation
2008-07-13 Adam Chlipala Closure code generation almost there
2008-07-13 Adam Chlipala Remove closure conversion in favor of zany fun with modules, which also replaces 'page'
2008-07-10 Adam Chlipala More with attributes and efficient serialization
2008-07-10 Adam Chlipala Writing HTML
2008-07-10 Adam Chlipala page declaration, up through monoize
2008-07-03 Adam Chlipala Monoizing cdata
2008-06-22 Adam Chlipala FFI through monoize