urweb - functional programming language for web programming

	Commit message (Collapse)	Author	Age
*	Differentiate between HTML and normal string literals	Adam Chlipala	2014-08-01
\|
*	Fix handling of quotes in generating C literals	Adam Chlipala	2012-01-02
\|
*	Chars and more string operations	Adam Chlipala	2009-05-26
\|
*	Start of JsComp	Adam Chlipala	2008-12-20
\|
*	Broaden set of possible especializations	Adam Chlipala	2008-11-08
\|
*	Switch base types to 64-bit versions	Adam Chlipala	2008-09-02
\|
*	Optimizing 'case' in Mono_reduce	Adam Chlipala	2008-08-03
\|
*	Primitive type constants	Adam Chlipala	2008-06-08