Ur/Web Metaprogramming Library

log

age author description
20 months ago Adam Chlipala Update for Ur/Web's new type class handlingdefault tip
21 months ago Edward Z. Yang Migrate ap method to Record module.
21 months ago Edward Z. Yang Type-directed case matching for variants.
23 months ago Adam Chlipala Sql.listify
23 months ago Adam Chlipala Track addition of 'style' and 'dynStyle'
23 months ago Adam Chlipala Track change to handling of 'class' by Basis.tag
23 months ago Edward Z. Yang Implement JSON type class for recursive datatypes, using Mu combinator.
23 months ago 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