urweb - functional programming language for web programming

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