summaryrefslogtreecommitdiff
path: root/demo/more/orm.urp
Commit message (Expand)AuthorAge
* Basic CRUD operations in OrmGravatar Adam Chlipala2009-10-05
* Better location calculation for record unification error messages; infer kind...Gravatar Adam Chlipala2009-10-05