urweb - functional programming language for web programming

	Commit message (Collapse)	Author	Age
*	Monad.mapR3	Adam Chlipala	2015-10-31
\|
*	Some standard library additions from Edward Z. Yang	Adam Chlipala	2012-05-19
\|
*	Monad.appR3	Adam Chlipala	2010-10-19
\|
*	Monad.appR	Adam Chlipala	2010-10-19
\|
*	Simplify type of Monad.appR2	Adam Chlipala	2010-10-17
\|
*	Fix C-mangling of datatype names	Adam Chlipala	2010-05-16
\|
*	Monad.foldMapR	Adam Chlipala	2010-03-02
\|
*	Changing foldRX to mapX	Adam Chlipala	2010-02-28
\|
*	Make summary unification more conservative; infer implicit arguments after ↵	Adam Chlipala	2009-12-26
\| \| \| \|	applications
*	Summary row with aggregates	Adam Chlipala	2009-09-15
\|
*	dragList demo working, save for Gecko load delay and highlighting	Adam Chlipala	2009-09-08
\|
*	grid1 compiles but gets stuck in JS	Adam Chlipala	2009-08-25
\|
*	Library improvements; proper list [un]urlification; remove server-side ↵	Adam Chlipala	2009-08-09
\| \| \| \|	ServerCalls; eta reduction in type inference
*	Working on Grid; have gone from one dynamic table bizareness to another	Adam Chlipala	2009-07-19
\|
*	Do 'open constraints' automatically; fix sourceless <cselect> monoize bug; ↵	Adam Chlipala	2009-06-02
	Monad library module