debian-urweb - Debian packaging for Ur/Web

	Commit message (Collapse)	Author	Age
*	Unnest properly in presence of kind polymorphism	Adam Chlipala	2015-12-20
\|
*	Allow type class instances with hypotheses via local ('let') definitions	Adam Chlipala	2012-07-25
\|
*	Initial support for reusing elaboration results	Adam Chlipala	2012-04-29
\|
*	Add a new scoping check for unification variables, to fix a type inference bug	Adam Chlipala	2011-12-18
\|
*	Shorter, more focused error messages about undetermined unification variables	Adam Chlipala	2011-10-29
\|
*	Fiddly tweaks	Adam Chlipala	2010-12-16
\|
*	Hopeful fix for the Great Unification Bug	Adam Chlipala	2010-10-10
\|
*	List library additions; fix another substructure unification bug	Adam Chlipala	2009-06-06
\|
*	Improvements while working on Graftid	Adam Chlipala	2009-05-12
\|
*	Made type class system very general; demo compiles	Adam Chlipala	2009-04-09
\|
*	Start of kind polymorphism, up to the point where demo/hello elaborates with ↵	Adam Chlipala	2009-02-22
\| \| \| \|	updated Basis/Top
*	First Unnest tests working	Adam Chlipala	2008-11-01
\|
*	foldTR2	Adam Chlipala	2008-09-13
\|
*	Initial type class support	Adam Chlipala	2008-08-16
\|
*	'Option' datatype encoding	Adam Chlipala	2008-08-09
\|
*	Datatype representation optimization	Adam Chlipala	2008-08-03
\|
*	Broaden unification context	Adam Chlipala	2008-06-29
\|
*	Subsignatures	Adam Chlipala	2008-06-22
\|
*	Elaborating module projection	Adam Chlipala	2008-06-17
\|
*	Lifting cons in ElabEnv	Adam Chlipala	2008-06-08
\|
*	Simple elaboration working	Adam Chlipala	2008-03-28
\|
*	Start of elaborating expressions	Adam Chlipala	2008-03-28
\|
*	Check for leftover kind unifs	Adam Chlipala	2008-01-26
\|
*	Elaborating cons and decls	Adam Chlipala	2008-01-26
\|
*	Start of elaboration	Adam Chlipala	2008-01-26