urweb - functional programming language for web programming

	Commit message (Collapse)	Author	Age
*	Transactions seem to be working	Adam Chlipala	2008-10-24
\|
*	Stop including functors in paths	Adam Chlipala	2008-10-24
\|
*	Crud2 demo	Adam Chlipala	2008-10-23
\|
*	Crud demo	Adam Chlipala	2008-10-23
\|
*	Prose for Ref and Metaform	Adam Chlipala	2008-10-23
\|
*	Fix bug with bringing functor argument instances into scope; Ref demo, minus ↵	Adam Chlipala	2008-10-23
\| \| \| \|	prose
*	Metaform demos, minus prose	Adam Chlipala	2008-10-23
\|
*	Fix nasty de Bruijn substitution bug; TcSum demo	Adam Chlipala	2008-10-23
\|
*	Counter demo	Adam Chlipala	2008-10-23
\|
*	Add newline at end of file	adamc	2008-10-23
\|
*	sml-util -> urweb-util	Adam Chlipala	2008-10-23
\|
*	Sum prose	Adam Chlipala	2008-10-21
\|
*	Infering sum rows	Adam Chlipala	2008-10-21
\|
*	Sum demo, minus inference of {Unit}s	Adam Chlipala	2008-10-21
\|
*	Sql demo	Adam Chlipala	2008-10-21
\|
*	Note about demo.sql	Adam Chlipala	2008-10-21
\|
*	ListShop prose	Adam Chlipala	2008-10-21
\|
*	Rec demo	Adam Chlipala	2008-10-21
\|
*	Form example	Adam Chlipala	2008-10-21
\|
*	Hello prose	Adam Chlipala	2008-10-21
\|
*	Intro prose	Adam Chlipala	2008-10-21
\|
*	New implicit argument handling	Adam Chlipala	2008-10-21
\|
*	Recursive unurlify for Default datatypes	Adam Chlipala	2008-10-21
\|
*	Remove printing of HTTP headers	Adam Chlipala	2008-10-21
\|
*	Fix a nasty driver bug, involving memory restarts and marked-up request strings	Adam Chlipala	2008-10-21
\|
*	listFun uses length	Adam Chlipala	2008-10-21
\|
*	Simple listShop working	Adam Chlipala	2008-10-21
\|
*	ListShop skeleton	Adam Chlipala	2008-10-21
\|
*	Fix XML indenting to ignore comparison operators	Adam Chlipala	2008-10-21
\|
*	ord_string	Adam Chlipala	2008-10-21
\|
*	ord_float and ord_bool	Adam Chlipala	2008-10-21
\|
*	Fix XML detection in presence of comparison operators	Adam Chlipala	2008-10-21
\|
*	gt, ge	Adam Chlipala	2008-10-21
\|
*	lt, le working for int	Adam Chlipala	2008-10-21
\|
*	num_float	Adam Chlipala	2008-10-21
\|
*	num working for int	Adam Chlipala	2008-10-21
\|
*	Monoize eq_[bool\|string]	Adam Chlipala	2008-10-21
\|
*	Binops; equality tested on int; lame 404 substitute	Adam Chlipala	2008-10-21
\|
*	Fix a nasty indent bug, found while working on listFun	Adam Chlipala	2008-10-19
\|
*	Support for URL prefixes that works with local demo	Adam Chlipala	2008-10-19
\|
*	Building combined demo app	Adam Chlipala	2008-10-19
\|
*	Small demo prettifications	Adam Chlipala	2008-10-19
\|
*	Generating fontified source files	Adam Chlipala	2008-10-19
\|
*	Generating urp HTML	Adam Chlipala	2008-10-19
\|
*	Demo HTML generation, minus source code	Adam Chlipala	2008-10-19
\|
*	Link demo	Adam Chlipala	2008-10-19
\|
*	Proper configuration and installation	Adam Chlipala	2008-10-19
\|
*	Proper generation of relation names; checking that sequences exist	Adam Chlipala	2008-10-19
\|
*	Simple generation of persistent paths	Adam Chlipala	2008-10-19
\|
*	Fixing overzealous SQL paren-nester	Adam Chlipala	2008-10-16
\|