urweb - functional programming language for web programming

	Commit message (Collapse)	Author	Age
*	String.trim; add OnChange to more tags	Adam Chlipala	2014-06-10
\|
*	More string processing	Adam Chlipala	2011-01-13
\|
*	Some more string parsing functions; naughtyDebug	Adam Chlipala	2011-01-11
\|
*	String processing optimizations	Adam Chlipala	2011-01-11
\|
*	String.isPrefix	Adam Chlipala	2010-03-02
\|
*	Handling errors during commit	Adam Chlipala	2010-01-26
\|
*	Reduce concatenations of the empty record; unpoly non-recursive functions	Adam Chlipala	2010-01-10
\|
*	Represent FFI function names as strings, to deal with cross-file recursion	Adam Chlipala	2009-12-05
\|
*	Bidding interface	Adam Chlipala	2009-11-01
\|
*	strcspn and friends	Adam Chlipala	2009-05-31
\|
*	Substring functions; fix a nasty MonoReduce pattern match substitution bug	Adam Chlipala	2009-05-30
\|
*	String.length	Adam Chlipala	2009-05-30
\|
*	Chars and more string operations	Adam Chlipala	2009-05-26