urweb - functional programming language for web programming

	Commit message (Collapse)	Author	Age
*	Update demo code for key/mouse handler change	Adam Chlipala	2012-07-21
\|
*	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
*	Redo HTML context classification, to keep regular <body> tags out of <table> ↵	Adam Chlipala	2011-12-20
\| \| \| \|	and <tr>
*	Small tweaks to update demos for record unification change	Adam Chlipala	2010-12-15
\|
*	Flex kinds for type-level tuples; ::_ notation	Adam Chlipala	2010-10-10
\|
*	Changing foldRX to mapX	Adam Chlipala	2010-02-28
\|
*	Make summary unification more conservative; infer implicit arguments after ↵	Adam Chlipala	2009-12-26
\| \| \| \|	applications
*	Adapted existing demos to tuple pattern-matching	Adam Chlipala	2009-10-20
\|
*	Convert to requiring explicit 'rpc' marker	Adam Chlipala	2009-08-22
\|
*	Do 'open constraints' automatically; fix sourceless <cselect> monoize bug; ↵	Adam Chlipala	2009-06-02
\| \| \| \|	Monad library module
*	Demo compiles with pattern-matching-fu	Adam Chlipala	2009-05-28
\|
*	Enhance table sig item support and get demo compiling again	Adam Chlipala	2009-04-07
\|
*	BatchG demo	Adam Chlipala	2009-03-10