log demo/more/orm.ur

age author description
2009-10-20 Adam Chlipala Adapted existing demos to tuple pattern-matching
2009-10-06 Adam Chlipala Initial Orm1 demo
2009-10-06 Adam Chlipala Fix a de Bruijn index bug in map fusion
2009-10-05 Adam Chlipala Orm searching
2009-10-05 Adam Chlipala Basic CRUD operations in Orm
2009-10-05 Adam Chlipala Better location calculation for record unification error messages; infer kind arguments to module-projected variables