urweb - functional programming language for web programming

	Commit message (Collapse)	Author	Age
*	Merge PVar and PWild, to get more reasonable type-class resolution	Adam Chlipala	2016-02-07
\|
*	New lessSafeFfi	Adam Chlipala	2014-05-02
\|
*	Server-side 'onError'	Adam Chlipala	2010-09-07
\|
*	Catch a missed ReduceLocal of field projection annotations	Adam Chlipala	2010-06-13
\|
*	Pushing policies through	Adam Chlipala	2010-04-04
\|
*	Convert to task syntax	Adam Chlipala	2009-12-15
\|
*	Initializers and setval	Adam Chlipala	2009-12-13
\|
*	Mutual datatypes through Corify	Adam Chlipala	2009-05-16
\|
*	A view query works	Adam Chlipala	2009-04-28
\|
*	Stop tracking CSS classes in XML types	Adam Chlipala	2009-04-12
\|
*	style declarations	Adam Chlipala	2009-04-12
\|
*	PRIMARY KEY	Adam Chlipala	2009-04-07
\|
*	Track uniqueness sets in table types	Adam Chlipala	2009-04-07
\|
*	UNIQUE constraints	Adam Chlipala	2009-04-07
\|
*	Kind polymorphism through Explify	Adam Chlipala	2009-02-22
\|
*	Cookies through explify	Adam Chlipala	2008-11-06
\|
*	SQL sequences	Adam Chlipala	2008-09-14
\|
*	Validating schema of a live database	Adam Chlipala	2008-09-02
\|
*	Explify tables	Adam Chlipala	2008-08-31
\|
*	Parametrized datatypes through explify	Adam Chlipala	2008-08-08
\|
*	Add datatype import constructor annotations; datatypes through explify	Adam Chlipala	2008-07-29
\|
*	Explifying (non-mutual) 'val rec'	Adam Chlipala	2008-07-17
\|
*	Remove closure conversion in favor of zany fun with modules, which also ↵	Adam Chlipala	2008-07-13
\| \| \| \|	replaces 'page'
*	page declaration, up through monoize	Adam Chlipala	2008-07-10
\|
*	Proper hiding of shadowed bindings in principal signatures	Adam Chlipala	2008-06-26
\|
*	Separate compilation and automatic basis importation	Adam Chlipala	2008-06-22
\|
*	Start of FFI	Adam Chlipala	2008-06-22
\|
*	Explify	Adam Chlipala	2008-06-19