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 |