urweb - functional programming language for web programming

	Commit message (Collapse)	Author	Age
*	Convert to task syntax	Adam Chlipala	2009-12-15
\|
*	Initializers and setval	Adam Chlipala	2009-12-13
\|
*	"Hello world" compiles, after replacing type-level fold with map	Adam Chlipala	2009-02-21
\|
*	Cookies through elaborate	Adam Chlipala	2008-11-06
\|
*	Parsing 'let'	Adam Chlipala	2008-11-01
\|
*	sml-util -> urweb-util	Adam Chlipala	2008-10-23
\|
*	Proper indenting of normal ML-y code after </xml>	Adam Chlipala	2008-10-16
\|
*	Customized font faces	Adam Chlipala	2008-10-12
\|
*	First sort-of-working run of urweb-mode	Adam Chlipala	2008-10-12