debian-urweb - Debian packaging for Ur/Web

	Commit message (Collapse)	Author	Age
*	Kind polymorphism through Explify	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
\|
*	Add CutMulti	Adam Chlipala	2008-11-11
\|
*	Cookies through explify	Adam Chlipala	2008-11-06
\|
*	Almost have that nested save function compiling	Adam Chlipala	2008-11-01
\|
*	Explify 'let'	Adam Chlipala	2008-11-01
\|
*	Replace 'with' with '++'	Adam Chlipala	2008-10-31
\|
*	Crud supports INSERT	Adam Chlipala	2008-09-14
\|
*	SQL sequences	Adam Chlipala	2008-09-14
\|
*	Explify tables	Adam Chlipala	2008-08-31
\|
*	Explifying type classes	Adam Chlipala	2008-08-16
\|
*	'Option' datatype encoding	Adam Chlipala	2008-08-09
\|
*	Parametrized datatypes through explify	Adam Chlipala	2008-08-08
\|
*	Datatype representation optimization	Adam Chlipala	2008-08-03
\|
*	Compiled pattern matching to C	Adam Chlipala	2008-08-03
\|
*	Case through explify	Adam Chlipala	2008-07-31
\|
*	Add datatype import constructor annotations; datatypes through explify	Adam Chlipala	2008-07-29
\|
*	Record cut	Adam Chlipala	2008-07-24
\|
*	Remove closure conversion in favor of zany fun with modules, which also ↵	Adam Chlipala	2008-07-13
\| \| \| \|	replaces 'page'
*	Push KUnit and CUnit through the phases	Adam Chlipala	2008-07-01
\|
*	Explify efold	Adam Chlipala	2008-06-26
\|
*	Explify cfold	Adam Chlipala	2008-06-26
\|
*	Proper hiding of shadowed bindings in principal signatures	Adam Chlipala	2008-06-26
\|
*	Explifying functors	Adam Chlipala	2008-06-19
\|
*	Explify	Adam Chlipala	2008-06-19