log demo/more/orm.urp

age author description
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