Mercurial > urweb
log demo/more/grid.ur
age | author | description |
---|---|---|
2010-12-15 | Adam Chlipala | Small tweaks to update demos for record unification change |
2010-10-10 | Adam Chlipala | Tweaking unification fix to apply to demo/more |
2010-02-28 | Adam Chlipala | Changing foldRX to mapX |
2009-12-26 | Adam Chlipala | Make summary unification more conservative; infer implicit arguments after applications |