debian-urweb - Debian packaging for Ur/Web

	Commit message (Collapse)	Author	Age
*	Record cut	Adam Chlipala	2008-07-24
\|
*	MonoReduce	Adam Chlipala	2008-07-17
\|
*	Remove closure conversion in favor of zany fun with modules, which also ↵	Adam Chlipala	2008-07-13
\| \| \| \|	replaces 'page'
*	Reduce efold	Adam Chlipala	2008-06-26
\|
*	Cjrize cfold	Adam Chlipala	2008-06-26
\|
*	Separate compilation and automatic basis importation	Adam Chlipala	2008-06-22
\|
*	Translation to Cjr	Adam Chlipala	2008-06-10
\|
*	Closure conversion	Adam Chlipala	2008-06-10
\|
*	Reducing known record projections	Adam Chlipala	2008-06-08
\|
*	Beta reductions for expressions	Adam Chlipala	2008-06-08
\|
*	Some con reducing	Adam Chlipala	2008-06-08