summaryrefslogtreecommitdiff
path: root/demo/more/orm.ur
Commit message (Expand)AuthorAge
* Update demo/more for simplified implicit argumentsGravatar Adam Chlipala2011-07-06
* Tweaking unification fix to apply to demo/moreGravatar Adam Chlipala2010-10-10
* Make summary unification more conservative; infer implicit arguments after ap...Gravatar Adam Chlipala2009-12-26
* Adapted existing demos to tuple pattern-matchingGravatar Adam Chlipala2009-10-20
* Initial Orm1 demoGravatar Adam Chlipala2009-10-06
* Fix a de Bruijn index bug in map fusionGravatar Adam Chlipala2009-10-06
* 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