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