summaryrefslogtreecommitdiff
path: root/demo/batch.ur
Commit message (Collapse)AuthorAge
* Convert to requiring explicit 'rpc' markerGravatar Adam Chlipala2009-08-22
|
* Make Effectize more preciseGravatar Adam Chlipala2009-05-05
|
* Add more buttons to demo, to avoid effectful GETGravatar Adam Chlipala2009-04-16
|
* Add primary keys to demoGravatar Adam Chlipala2009-04-07
|
* Batch exampleGravatar Adam Chlipala2009-03-10