debian-urweb - Debian packaging for Ur/Web

	Commit message (Collapse)	Author	Age
*	demo/hello compiles with kind polymorphism	Adam Chlipala	2009-02-22
\|
*	Start of kind polymorphism, up to the point where demo/hello elaborates with ↵	Adam Chlipala	2009-02-22
\| \| \| \|	updated Basis/Top
*	"Hello world" compiles, after replacing type-level fold with map	Adam Chlipala	2009-02-21
\|
*	First gimpy RPC	Adam Chlipala	2009-02-15
\|
*	Start of RPCification	Adam Chlipala	2009-02-14
\|
*	crud1 compiles with new Reduce	Adam Chlipala	2008-11-26
\|
*	Fix environments for repeat visits for exp reduction	Adam Chlipala	2008-11-26
\|
*	Most exp rules for new Reduce	Adam Chlipala	2008-11-26
\|
*	Start of new Reduce	Adam Chlipala	2008-11-26
\|
*	Add CutMulti	Adam Chlipala	2008-11-11
\|
*	Replace 'with' with '++'	Adam Chlipala	2008-10-31
\|
*	Especialize	Adam Chlipala	2008-10-30
\|
*	Fix nasty de Bruijn substitution bug; TcSum demo	Adam Chlipala	2008-10-23
\|
*	Crud supports INSERT	Adam Chlipala	2008-09-14
\|
*	Remove unneeded 'rec' in Reduce	Adam Chlipala	2008-09-13
\|
*	Unpoly non-recursive function	Adam Chlipala	2008-09-11
\|
*	Compiling a con-tuple-using test case	Adam Chlipala	2008-08-16
\|
*	Specialization of single-parameter datatypes	Adam Chlipala	2008-08-08
\|
*	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