urweb - functional programming language for web programming

	Commit message (Collapse)	Author	Age
*	More flexible foreign keying	Adam Chlipala	2009-04-09
\|
*	Made type class system very general; demo compiles	Adam Chlipala	2009-04-09
\|
*	Enhance table sig item support and get demo compiling again	Adam Chlipala	2009-04-07
\|
*	Switch to TDisjoint from CDisjoint; still need to implement obligation ↵	Adam Chlipala	2009-02-24
\| \| \| \|	generation at EDisjoint uses
*	Start of kind polymorphism, up to the point where demo/hello elaborates with ↵	Adam Chlipala	2009-02-22
\| \| \| \|	updated Basis/Top
*	Sum prose	Adam Chlipala	2008-10-21
\|
*	Crud supports INSERT	Adam Chlipala	2008-09-14
\|
*	foldTR2	Adam Chlipala	2008-09-13