Mercurial > urweb
log demo/more/orm1.ur
age | author | description |
---|---|---|
Fri, 14 Feb 2014 04:00:03 -0500 | Patrick Hurst | Merge in upstream |
Sat, 26 Dec 2009 11:56:40 -0500 | Adam Chlipala | Make summary unification more conservative; infer implicit arguments after applications |