log

age author description
2014-12-05 Adam Chlipala Optimizing JSON generationdefault tip
2012-07-29 Adam Chlipala Update for Ur/Web's new type class handling
2012-07-26 Edward Z. Yang Migrate ap method to Record module.
2012-07-26 Edward Z. Yang Type-directed case matching for variants.
2012-05-13 Adam Chlipala Sql.listify
2012-05-06 Adam Chlipala Track addition of 'style' and 'dynStyle'
2012-05-06 Adam Chlipala Track change to handling of 'class' by Basis.tag
2012-05-02 Edward Z. Yang Implement JSON type class for recursive datatypes, using Mu combinator.
2012-05-02 Edward Z. Yang Implement JSON typeclass for polymorphic variants.
2012-01-05 Adam Chlipala Variant.weaken, mp, and mapR
2012-01-02 Adam Chlipala Variant.foldR and appR
2011-12-31 Adam Chlipala Sql.lookup
2011-12-29 Adam Chlipala Adjust to name change for [Top.id]
2011-12-29 Adam Chlipala Update for a change to Ur/Web tag encoding
2011-12-11 Adam Chlipala Reorder arguments for better partial application
2011-12-11 Adam Chlipala Sql.insertIfMissing and deleteByKey (partly from Ron de Bruijn)
2011-06-14 Adam Chlipala Update to expect implicit argument insertion for local variables
2011-03-21 Adam Chlipala Sql.joiner
2011-02-08 Adam Chlipala Record.equal
2011-02-03 Adam Chlipala Record.numFields
2011-02-03 Adam Chlipala Record.mem
2010-12-15 Adam Chlipala Import HTML parser
2010-12-14 Adam Chlipala Switch to lib.urp
2010-12-14 Adam Chlipala Add license
2010-12-14 Adam Chlipala Import some code from iwl
2010-12-14 Adam Chlipala Import Incl and Mem
2010-12-02 Adam Chlipala JSON nulls
2010-12-02 Adam Chlipala Wikipedia JSON example working
2010-12-02 Adam Chlipala Parsed a JSON record
2010-12-02 Adam Chlipala Converted a record to JSON
2010-12-02 Adam Chlipala JSON, minus records and nulls