urweb - functional programming language for web programming

	Commit message (Collapse)	Author	Age
*	In simplifying constructors for error messages, unfold constructor synonyms ↵	Adam Chlipala	2012-05-02
\| \| \| \|	from modules
*	Add another rule to simplify record concatenations for pretty-printing	Adam Chlipala	2012-04-21
\|
*	Do a lot more type simplification for error messages	Adam Chlipala	2012-04-16
\|
*	Add a new scoping check for unification variables, to fix a type inference bug	Adam Chlipala	2011-12-18
\|
*	Tweaks to choices of source positions to use in error messages, including ↵	Adam Chlipala	2011-11-05
\| \| \| \|	for subSgn
*	Hopeful fix for the Great Unification Bug	Adam Chlipala	2010-10-10
\|
*	Hooks for measuring how much interesting proving is going on in elaboration	Adam Chlipala	2009-11-17
\|
*	Fix a de Bruijn index bug in map fusion	Adam Chlipala	2009-10-06
\|
*	Library improvements; proper list [un]urlification; remove server-side ↵	Adam Chlipala	2009-08-09
\| \| \| \|	ServerCalls; eta reduction in type inference
*	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
\|
*	Optimized ElabOps.subConInCon	Adam Chlipala	2008-11-27
\|
*	Map distributivity rule in hnormCon	Adam Chlipala	2008-11-11
\|
*	Merge CDisjoint and TDisjoint	Adam Chlipala	2008-10-04
\|
*	Crud supports INSERT	Adam Chlipala	2008-09-14
\|
*	foldTR2	Adam Chlipala	2008-09-13
\|
*	Fixed a mind-numbing De Bruijn bug	Adam Chlipala	2008-09-11
\|
*	Crud list works	Adam Chlipala	2008-09-11
\|
*	Stub WHERE support	Adam Chlipala	2008-08-16
\|
*	Non-star SELECT	Adam Chlipala	2008-08-14
\|
*	Factor some operations into ElabOps	Adam Chlipala	2008-07-01