urweb - functional programming language for web programming

	Commit message (Collapse)	Author	Age
*	Add mapUX_rev	Adam Chlipala	2016-09-24
\|
*	Switch to expected order for [queryL]	Adam Chlipala	2016-07-01
\|
*	Adjust new [assert] to work properly from top.ur	Adam Chlipala	2015-06-03
\|
*	assert function to use with location literal _LOC_	Gabriel Riba Faura	2015-06-03
\|
*	Top.max and Top.min	Adam Chlipala	2014-06-29
\|
*	Top.postFields	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
*	Rename [Top.id] to avoid clash with [Basis.id]	Adam Chlipala	2011-12-29
\|
*	Implicit argument insertion for local variables	Adam Chlipala	2011-06-14
\|
*	Make 'ex' kind-generic	Adam Chlipala	2011-03-11
\|
*	Fix the two functions I just added	Adam Chlipala	2011-01-20
\|
*	queryXI and queryX1I	Adam Chlipala	2011-01-20
\|
*	Allow subqueries to reference aggregate-only columns of free tables; treat ↵	Adam Chlipala	2011-01-15
\| \| \| \|	non-COUNT aggregate functions as possibly returning NULL
*	Top.queryI1; fix definition of uw_Basis_minTime	Adam Chlipala	2010-12-24
\|
*	[De]serialization of times in JavaScript; proper integer division in ↵	Adam Chlipala	2010-12-23
\| \| \| \|	JavaScript; Basis.crypt; Top.mkRead'; more aggressive Mono-level inlining, for values of function-y types
*	queryL1 and List.sort	Adam Chlipala	2010-11-20
\|
*	Subquery expressions	Adam Chlipala	2010-03-25
\|
*	Louder jscomp; toUpper/Lower fix for JavaScript	Adam Chlipala	2010-03-04
\|
*	Fix parsing of space-free .urp directives; use 'class' for 'c*' tags	Adam Chlipala	2010-02-28
\|
*	Changing foldRX to mapX	Adam Chlipala	2010-02-28
\|
*	Proper 404 generation	Adam Chlipala	2010-01-02
\|
*	Make summary unification more conservative; infer implicit arguments after ↵	Adam Chlipala	2009-12-26
\| \| \| \|	applications
*	Basis.sql_nullable and Top.queryL	Adam Chlipala	2009-12-22
\|
*	Allow same constructor shorthand for 'view' sig items as for 'table'	Adam Chlipala	2009-12-15
\|
*	Fixing a bug in DInitializer elaboration	Adam Chlipala	2009-12-13
\|
*	Weakening-type coercions for SQL values	Adam Chlipala	2009-12-13
\|
*	Make oneRowE1 more general	Adam Chlipala	2009-12-10
\|
*	Saving paper decisions	Adam Chlipala	2009-11-07
\|
*	Checking deadline; sign-in	Adam Chlipala	2009-10-22
\|
*	Start of user management	Adam Chlipala	2009-10-20
\|
*	Registering for Conference1	Adam Chlipala	2009-10-20
\|
*	SELECT DISTINCT; eta expansion during Cjrization	Adam Chlipala	2009-10-06
\|
*	Summary row with aggregates	Adam Chlipala	2009-09-15
\|
*	grid1 compiles but gets stuck in JS	Adam Chlipala	2009-08-25
\|
*	Library improvements; proper list [un]urlification; remove server-side ↵	Adam Chlipala	2009-08-09
\| \| \| \|	ServerCalls; eta reduction in type inference
*	Working on Grid; have gone from one dynamic table bizareness to another	Adam Chlipala	2009-07-19
\|
*	fn-pattern code in but not tested yet; hello compiles	Adam Chlipala	2009-05-28
\|
*	outer demo	Adam Chlipala	2009-05-03
\|
*	Stop tracking CSS classes in XML types	Adam Chlipala	2009-04-12
\|
*	hello compiles with CSS	Adam Chlipala	2009-04-12
\|
*	Chat demo	Adam Chlipala	2009-04-05
\|
*	Expunging non-nullable rows	Adam Chlipala	2009-03-29
\|
*	Redo channels, making them single-client	Adam Chlipala	2009-03-29
\|
*	Change location/type of [fold] to be more uniform w.r.t. derived folders	Adam Chlipala	2009-03-12
\|
*	BatchG demo	Adam Chlipala	2009-03-10
\|
*	Avoid any JavaScript when pages don't need it; update demo prose	Adam Chlipala	2009-03-10
\|
*	Kind-polymorphic [fst] and friends	Adam Chlipala	2009-02-26
\|
*	Demos compile again, with manual folders	Adam Chlipala	2009-02-24
\|
*	Make folders abstract	Adam Chlipala	2009-02-24
\|