urweb - functional programming language for web programming

	Commit message (Collapse)	Author	Age
*	Hooks for measuring how much interesting proving is going on in elaboration	Adam Chlipala	2009-11-17
\|
*	Switch to TDisjoint from CDisjoint; still need to implement obligation ↵	Adam Chlipala	2009-02-24
\| \| \| \|	generation at EDisjoint uses
*	Some small changes while failing to write [restrict]	Adam Chlipala	2008-11-08
\|
*	Fancier head normalization pushed inside of Disjoint	Adam Chlipala	2008-07-03
\|
*	Initial disjointness prover	Adam Chlipala	2008-07-01