log

age author description
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