Mercurial > urweb
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 |