urweb - functional programming language for web programming

	Commit message (Collapse)	Author	Age
*	Conversion of functions to CPS, to facilitate ServerCall	Adam Chlipala	2009-03-08
\|
*	demo/hello compiles with kind polymorphism	Adam Chlipala	2009-02-22
\|
*	Especialize	Adam Chlipala	2008-10-30
\|
*	Unpoly non-recursive function	Adam Chlipala	2008-09-11
\|
*	Specialization of single-parameter datatypes	Adam Chlipala	2008-08-08
\|
*	Parametrized datatypes through corify	Adam Chlipala	2008-08-08
\|
*	Case through corify	Adam Chlipala	2008-08-02
\|
*	Storing datatype constructors in type references past monoize	Adam Chlipala	2008-07-29
\|
*	Remove closure conversion in favor of zany fun with modules, which also ↵	Adam Chlipala	2008-07-13
\| \| \| \|	replaces 'page'
*	Separate compilation and automatic basis importation	Adam Chlipala	2008-06-22
\|
*	Some con reducing	Adam Chlipala	2008-06-08
\|
*	Conversion to Core	Adam Chlipala	2008-06-08