urweb - functional programming language for web programming

	Commit message (Collapse)	Author	Age
*	Make summary unification more conservative; infer implicit arguments after ↵	Adam Chlipala	2009-12-26
\| \| \| \|	applications
*	Demo compiles with pattern-matching-fu	Adam Chlipala	2009-05-28
\|
*	Avoid any JavaScript when pages don't need it; update demo prose	Adam Chlipala	2009-03-10
\|
*	Folder generation for functions	Adam Chlipala	2009-02-24
\|
*	Demos compile again, with manual folders	Adam Chlipala	2009-02-24
\|
*	Fix nasty de Bruijn substitution bug; TcSum demo	Adam Chlipala	2008-10-23