urweb - functional programming language for web programming

	Commit message (Collapse)	Author	Age
*	Map distributivity rule in hnormCon	Adam Chlipala	2008-11-11
\|
*	Add CutMulti	Adam Chlipala	2008-11-11
\|
*	Handle nullary transaction pages; avoid marking up headers array when ↵	Adam Chlipala	2008-11-11
\| \| \| \|	reading cookies
*	Fix demo regression	Adam Chlipala	2008-11-11
\|
*	More ThreadedBlog progress	Adam Chlipala	2008-11-11
\|
*	Ignore UseRel effects in [let] expansions	Adam Chlipala	2008-11-11
\|
*	Get preliminary ThreadedBlog working	Adam Chlipala	2008-11-11
\|
*	Get threadedBlog to work	Adam Chlipala	2008-11-11
\|
*	Remove some allocation	Adam Chlipala	2008-11-09
\|
*	Prevent overzealous Especialization	Adam Chlipala	2008-11-09
\|
*	Defunctionalization gets CommentBlog working	Adam Chlipala	2008-11-09
\|
*	Remove an extra line	Adam Chlipala	2008-11-09
\|
*	Especialize working reasonably well; need to add new closure representation pass	Adam Chlipala	2008-11-09
\|
*	Better detection of [let] substitution opportunities	Adam Chlipala	2008-11-08
\|
*	Especialize handles records better	Adam Chlipala	2008-11-08
\|
*	Broaden set of possible especializations	Adam Chlipala	2008-11-08
\|
*	Some small changes while failing to write [restrict]	Adam Chlipala	2008-11-08
\|
*	Add help text for generated web servers	Adam Chlipala	2008-11-08
\|
*	Handle EError returning a function; handle multiple cookies in one input header	Adam Chlipala	2008-11-08
\|
*	Fix parsing of last input header	Adam Chlipala	2008-11-08
\|
*	[getCookie] reads cookie settings from current page generation	Adam Chlipala	2008-11-08
\|
*	Resolve all tag named in [Basis]; deal with C compilation failure without ↵	Adam Chlipala	2008-11-08
\| \| \| \|	leaving /tmp files
*	Generated web servers use getopt()	Adam Chlipala	2008-11-08
\|
*	Tree demo working (and other assorted regressions fixed)	Adam Chlipala	2008-11-06
\|
*	Tree demo works	Adam Chlipala	2008-11-06
\|
*	About to begin optimization of recursive transaction functions	Adam Chlipala	2008-11-06
\|
*	Ensql'ing nullables	Adam Chlipala	2008-11-06
\|
*	Inserted a NULL value	Adam Chlipala	2008-11-06
\|
*	Cookies work across pages	Adam Chlipala	2008-11-06
\|
*	Cookie prose; fix bugs that broke demo compilation	Adam Chlipala	2008-11-06
\|
*	Cookie demo code; fix error message display	Adam Chlipala	2008-11-06
\|
*	Reading cookies works	Adam Chlipala	2008-11-06
\|
*	Setting a cookie	Adam Chlipala	2008-11-06
\|
*	Cookies through shake2	Adam Chlipala	2008-11-06
\|
*	Cookies through explify	Adam Chlipala	2008-11-06
\|
*	Cookies through elaborate	Adam Chlipala	2008-11-06
\|
*	Avoid allocating strings for requestHeader	Adam Chlipala	2008-11-06
\|
*	Request header reading works	Adam Chlipala	2008-11-06
\|
*	Monoizing FFI transactions correctly	Adam Chlipala	2008-11-06
\|
*	Nested demo	Adam Chlipala	2008-11-04
\|
*	Nested save compiles	Adam Chlipala	2008-11-01
\|
*	Almost have that nested save function compiling	Adam Chlipala	2008-11-01
\|
*	Fix some type-class detection	Adam Chlipala	2008-11-01
\|
*	Remove empty writes	Adam Chlipala	2008-11-01
\|
*	Wrapping works in Blog	Adam Chlipala	2008-11-01
\|
*	Explify 'let'	Adam Chlipala	2008-11-01
\|
*	First Unnest tests working	Adam Chlipala	2008-11-01
\|
*	Elaborating 'let'	Adam Chlipala	2008-11-01
\|
*	Parsing 'let'	Adam Chlipala	2008-11-01
\|
*	Replace 'with' with '++'	Adam Chlipala	2008-10-31
\|