log

age author description
Tue, 21 Oct 2008 19:56:20 -0400 Adam Chlipala Sum prose
Tue, 21 Oct 2008 19:31:11 -0400 Adam Chlipala Infering sum rows
Tue, 21 Oct 2008 19:24:39 -0400 Adam Chlipala Sum demo, minus inference of {Unit}s
Tue, 21 Oct 2008 18:44:52 -0400 Adam Chlipala Sql demo
Tue, 21 Oct 2008 17:49:14 -0400 Adam Chlipala Note about demo.sql
Tue, 21 Oct 2008 17:44:03 -0400 Adam Chlipala ListShop prose
Tue, 21 Oct 2008 17:34:20 -0400 Adam Chlipala Rec demo
Tue, 21 Oct 2008 17:30:06 -0400 Adam Chlipala Form example
Tue, 21 Oct 2008 17:12:22 -0400 Adam Chlipala Hello prose
Tue, 21 Oct 2008 17:02:03 -0400 Adam Chlipala Intro prose
Tue, 21 Oct 2008 16:41:11 -0400 Adam Chlipala New implicit argument handling
Tue, 21 Oct 2008 15:11:42 -0400 Adam Chlipala Recursive unurlify for Default datatypes
Tue, 21 Oct 2008 13:56:38 -0400 Adam Chlipala Remove printing of HTTP headers
Tue, 21 Oct 2008 13:54:48 -0400 Adam Chlipala Fix a nasty driver bug, involving memory restarts and marked-up request strings
Tue, 21 Oct 2008 13:41:03 -0400 Adam Chlipala listFun uses length
Tue, 21 Oct 2008 13:24:54 -0400 Adam Chlipala Simple listShop working
Tue, 21 Oct 2008 12:06:35 -0400 Adam Chlipala ListShop skeleton
Tue, 21 Oct 2008 11:39:13 -0400 Adam Chlipala Fix XML indenting to ignore comparison operators
Tue, 21 Oct 2008 11:22:10 -0400 Adam Chlipala ord_string
Tue, 21 Oct 2008 11:19:17 -0400 Adam Chlipala ord_float and ord_bool
Tue, 21 Oct 2008 11:13:03 -0400 Adam Chlipala Fix XML detection in presence of comparison operators
Tue, 21 Oct 2008 11:04:24 -0400 Adam Chlipala gt, ge
Tue, 21 Oct 2008 10:56:43 -0400 Adam Chlipala lt, le working for int
Tue, 21 Oct 2008 10:40:22 -0400 Adam Chlipala num_float
Tue, 21 Oct 2008 10:34:07 -0400 Adam Chlipala num working for int
Tue, 21 Oct 2008 09:52:52 -0400 Adam Chlipala Monoize eq_[bool|string]
Tue, 21 Oct 2008 09:50:19 -0400 Adam Chlipala Binops; equality tested on int; lame 404 substitute
Sun, 19 Oct 2008 16:49:09 -0400 Adam Chlipala Fix a nasty indent bug, found while working on listFun
Sun, 19 Oct 2008 15:47:47 -0400 Adam Chlipala Support for URL prefixes that works with local demo
Sun, 19 Oct 2008 15:19:41 -0400 Adam Chlipala Building combined demo app
Sun, 19 Oct 2008 14:53:38 -0400 Adam Chlipala Small demo prettifications
Sun, 19 Oct 2008 14:51:12 -0400 Adam Chlipala Generating fontified source files