urweb - functional programming language for web programming

	Commit message (Collapse)	Author	Age
*	Make wildification a bit smarter about ordering of new wildcard declarations	Adam Chlipala	2012-01-07
\|
*	Finish updating Grid1 demo to work with type inference change	Adam Chlipala	2011-12-29
\|
*	Make summary unification more conservative; infer implicit arguments after ↵	Adam Chlipala	2009-12-26
\| \| \| \|	applications
*	Paging mostly working; just need to get it working properly with filtering	Adam Chlipala	2009-09-19
\|
*	Fixed a Mono_reduce bug, which was breaking selection enabling in Grid	Adam Chlipala	2009-09-15
\|
*	Selection working, but switching it on isn't	Adam Chlipala	2009-09-15
\|
*	Summary row with aggregates	Adam Chlipala	2009-09-15
\|
*	Dropped in initial aggregate types	Adam Chlipala	2009-09-15
\|
*	Full Grid1 compiles, thanks to avoiding code size blow-up in mono_reduce	Adam Chlipala	2009-09-13
\|
*	Have nullable columns working with Dbgrid	Adam Chlipala	2009-09-13
\|
*	Nullable columns might be working, but too much JS is generated for the ↵	Adam Chlipala	2009-09-12
\| \| \| \|	page to load in finite time
*	Add grid CSS	Adam Chlipala	2009-09-10
\|
*	Start 'more' demo with dbgrid	Adam Chlipala	2009-09-08