log demo/more/versioned.ur

age author description
2012-06-03 Adam Chlipala Lighter-weight encoding of window function use
2012-06-02 Adam Chlipala Track whether SQL expressions may use window functions, in preparation for actual window function support
2011-12-29 Adam Chlipala Rename [Top.id] to avoid clash with [Basis.id]
2011-07-06 Adam Chlipala Update demo/more for simplified implicit arguments
2009-12-26 Adam Chlipala Make summary unification more conservative; infer implicit arguments after applications
2009-10-06 Adam Chlipala Versioned1 demo working
2009-10-06 Adam Chlipala SELECT DISTINCT; eta expansion during Cjrization