urweb - functional programming language for web programming

	Commit message (Collapse)	Author	Age
*	Merge PVar and PWild, to get more reasonable type-class resolution	Adam Chlipala	2016-02-07
\|
*	Unnest properly in presence of kind polymorphism	Adam Chlipala	2015-12-20
\|
*	After a tricky debugging session, limit visibility of type-class instances ↵	Adam Chlipala	2015-11-01
\| \| \| \|	from anonymous modules
*	New lessSafeFfi	Adam Chlipala	2014-05-02
\|
*	Allow [where con] to descend within submodule structure; open submodule ↵	Adam Chlipala	2013-08-19
\| \| \| \|	constraints while checking later signature items
*	Remove 'class' declaration; now use 'con' instead	Adam Chlipala	2012-07-29
\|
*	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
\|
*	Flex kinds for type-level tuples; ::_ notation	Adam Chlipala	2010-10-10
\|
*	Server-side 'onError'	Adam Chlipala	2010-09-07
\|
*	Some serious bug-fix work to get HTML example to compile; this includes ↵	Adam Chlipala	2010-06-03
\| \| \| \|	fixing a bug with 'val' patterns in Unnest and the need for more local reduction in Especialize
*	Pushing policies through	Adam Chlipala	2010-04-04
\|
*	Convert to task syntax	Adam Chlipala	2009-12-15
\|
*	Initializers and setval	Adam Chlipala	2009-12-13
\|
*	List library additions; fix another substructure unification bug	Adam Chlipala	2009-06-06
\|
*	Fix EDLet elab_util bug	Adam Chlipala	2009-05-28
\|
*	Destructing local let, to the point where demo compiles	Adam Chlipala	2009-05-28
\|
*	Mutual datatypes through Elaborate	Adam Chlipala	2009-05-16
\|
*	Improvements while working on Graftid	Adam Chlipala	2009-05-12
\|
*	A view query works	Adam Chlipala	2009-04-28
\|
*	Stop tracking CSS classes in XML types	Adam Chlipala	2009-04-12
\|
*	style declarations	Adam Chlipala	2009-04-12
\|
*	Made type class system very general; demo compiles	Adam Chlipala	2009-04-09
\|
*	PRIMARY KEY	Adam Chlipala	2009-04-07
\|
*	Track uniqueness sets in table types	Adam Chlipala	2009-04-07
\|
*	UNIQUE constraints	Adam Chlipala	2009-04-07
\|
*	Switch to TDisjoint from CDisjoint; still need to implement obligation ↵	Adam Chlipala	2009-02-24
\| \| \| \|	generation at EDisjoint uses
*	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
\|
*	Initial conversion to arbitrary-kind classes	Adam Chlipala	2008-12-19
\|
*	Add CutMulti	Adam Chlipala	2008-11-11
\|
*	Cookies through explify	Adam Chlipala	2008-11-06
\|
*	Cookies through elaborate	Adam Chlipala	2008-11-06
\|
*	Almost have that nested save function compiling	Adam Chlipala	2008-11-01
\|
*	First Unnest tests working	Adam Chlipala	2008-11-01
\|
*	Elaborating 'let'	Adam Chlipala	2008-11-01
\|
*	Replace 'with' with '++'	Adam Chlipala	2008-10-31
\|
*	Merge CDisjoint and TDisjoint	Adam Chlipala	2008-10-04
\|
*	Crud supports INSERT	Adam Chlipala	2008-09-14
\|
*	SQL sequences	Adam Chlipala	2008-09-14
\|
*	queryX	Adam Chlipala	2008-09-13
\|
*	foldTR2	Adam Chlipala	2008-09-13
\|
*	'database' declaration threaded through compiler	Adam Chlipala	2008-09-02
\|
*	Resolving lingering type class constraints	Adam Chlipala	2008-08-21
\|
*	Explifying type classes	Adam Chlipala	2008-08-16
\|
*	Initial type class support	Adam Chlipala	2008-08-16
\|