debian-urweb - Debian packaging for Ur/Web

	Commit message (Collapse)	Author	Age
...
*	'read' type class	Adam Chlipala	2008-09-07
\|
*	Parsing strings for floats and bools	Adam Chlipala	2008-09-07
\|
*	Converting string to int	Adam Chlipala	2008-09-07
\|
*	'show' type class; htmlification optimizations	Adam Chlipala	2008-09-07
\|
*	toString for float and bool	Adam Chlipala	2008-09-07
\|
*	intToString	Adam Chlipala	2008-09-07
\|
*	'error' function	Adam Chlipala	2008-09-07
\|
*	Compiling a parametrized query the inefficient way	Adam Chlipala	2008-09-02
\|
*	Monoize ASC/DESC	Adam Chlipala	2008-08-31
\|
*	Monoize relops	Adam Chlipala	2008-08-31
\|
*	Add 'ne' to 'eq' type class	Adam Chlipala	2008-08-31
\|
*	'eq' type class	Adam Chlipala	2008-08-31
\|
*	Monoized a WHERE clause with a comparison	Adam Chlipala	2008-08-31
\|
*	Monoized and optimized initial query test	Adam Chlipala	2008-08-31
\|
*	Monoize transaction identifiers; improve disjointness prover on irreducible ↵	Adam Chlipala	2008-08-31
\| \| \| \|	folds; change 'query' type
*	Laconic -> Ur	Adam Chlipala	2008-08-31