debian-urweb - Debian packaging for Ur/Web

	Commit message (Collapse)	Author	Age
*	Simple signature matching	Adam Chlipala	2008-06-12
\|
*	Parsing and printing basic module system	Adam Chlipala	2008-06-12
\|
*	Translation to Cjr	Adam Chlipala	2008-06-10
\|
*	Field sorting for Flat	Adam Chlipala	2008-06-10
\|
*	Update main.mlton	Adam Chlipala	2008-06-10
\|
*	Closure conversion	Adam Chlipala	2008-06-10
\|
*	Monoize	Adam Chlipala	2008-06-10
\|
*	Run a shake before reducing	Adam Chlipala	2008-06-08
\|
*	Tree-shaking	Adam Chlipala	2008-06-08
\|
*	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
\|
*	Testing constructor equivalences	Adam Chlipala	2008-06-08
\|
*	Unification wildcards	Adam Chlipala	2008-06-08
\|
*	Further experiments with implicit arguments	Adam Chlipala	2008-06-08
\|
*	Conversion to Core	Adam Chlipala	2008-06-08
\|
*	Implicit constructor arguments	Adam Chlipala	2008-06-08
\|
*	Primitive type constants	Adam Chlipala	2008-06-08
\|
*	Lifting cons in ElabEnv	Adam Chlipala	2008-06-08
\|
*	Fun with records	Adam Chlipala	2008-03-28
\|
*	Simple elaboration working	Adam Chlipala	2008-03-28
\|
*	Start of elaborating expressions	Adam Chlipala	2008-03-28
\|
*	Added simple expression constructors to Elab	Adam Chlipala	2008-01-26
\|
*	Parsing basic expressions	Adam Chlipala	2008-01-26
\|
*	Add type keyword	Adam Chlipala	2008-01-26
\|
*	Check for leftover kind unifs	Adam Chlipala	2008-01-26
\|
*	Elaborating files	Adam Chlipala	2008-01-26
\|
*	Rename Laconic* modules to Source*	Adam Chlipala	2008-01-26
\|
*	Elaborating cons and decls	Adam Chlipala	2008-01-26
\|
*	Start of elaboration	Adam Chlipala	2008-01-26
\|
*	Initial parsing and pretty-printing	Adam Chlipala	2008-01-26
\|
*	Initial skeleton	Adam Chlipala	2008-01-26