Sun, 21 Dec 2008 12:56:39 -0500 |
Adam Chlipala |
Trivial use of a source |
Sun, 21 Dec 2008 12:30:57 -0500 |
Adam Chlipala |
Handling singnal bind |
Sun, 21 Dec 2008 12:01:00 -0500 |
Adam Chlipala |
Switch to using dyn() function in JavaScript |
Sat, 20 Dec 2008 16:19:26 -0500 |
Adam Chlipala |
Successfully generated a page element from a signal |
Sat, 20 Dec 2008 15:46:48 -0500 |
Adam Chlipala |
Initial <dyn> support |
Fri, 19 Dec 2008 12:38:11 -0500 |
Adam Chlipala |
Displayed an alert dialog |
Fri, 19 Dec 2008 11:47:18 -0500 |
Adam Chlipala |
Creation of sources in server code |
Fri, 19 Dec 2008 10:27:58 -0500 |
Adam Chlipala |
Monad type class seems to be working |
Tue, 09 Dec 2008 14:41:19 -0500 |
Adam Chlipala |
Add SQL arithmetic operators |
Sun, 07 Dec 2008 10:02:04 -0500 |
Adam Chlipala |
Finish documenting queries; remove a stray [unit] argument |
Tue, 11 Nov 2008 19:20:37 -0500 |
Adam Chlipala |
Add CutMulti |
Tue, 11 Nov 2008 16:27:51 -0500 |
Adam Chlipala |
More ThreadedBlog progress |
Thu, 06 Nov 2008 19:43:48 -0500 |
Adam Chlipala |
Tree demo working (and other assorted regressions fixed) |
Thu, 06 Nov 2008 18:49:38 -0500 |
Adam Chlipala |
Tree demo works |
Thu, 06 Nov 2008 15:52:13 -0500 |
Adam Chlipala |
Ensql'ing nullables |
Thu, 06 Nov 2008 15:37:38 -0500 |
Adam Chlipala |
Inserted a NULL value |
Thu, 06 Nov 2008 14:03:50 -0500 |
Adam Chlipala |
Cookies work across pages |
Thu, 06 Nov 2008 12:46:45 -0500 |
Adam Chlipala |
Cookie prose; fix bugs that broke demo compilation |
Thu, 06 Nov 2008 12:08:41 -0500 |
Adam Chlipala |
Reading cookies works |
Thu, 06 Nov 2008 11:29:16 -0500 |
Adam Chlipala |
Setting a cookie |
Sat, 01 Nov 2008 17:19:12 -0400 |
Adam Chlipala |
Fix some type-class detection |
Sat, 01 Nov 2008 16:46:16 -0400 |
Adam Chlipala |
Wrapping works in Blog |
Fri, 31 Oct 2008 09:30:22 -0400 |
Adam Chlipala |
Replace 'with' with '++' |
Thu, 30 Oct 2008 15:33:28 -0400 |
Adam Chlipala |
CURRENT_TIMESTAMP |
Thu, 30 Oct 2008 15:11:37 -0400 |
Adam Chlipala |
Marshaling time to SQL |
Thu, 30 Oct 2008 14:40:42 -0400 |
Adam Chlipala |
Add time to some type classes |
Thu, 30 Oct 2008 14:36:48 -0400 |
Adam Chlipala |
time type |
Thu, 23 Oct 2008 18:45:10 -0400 |
Adam Chlipala |
Crud2 demo |
Thu, 23 Oct 2008 12:58:35 -0400 |
Adam Chlipala |
Fix nasty de Bruijn substitution bug; TcSum demo |
Tue, 21 Oct 2008 18:44:52 -0400 |
Adam Chlipala |
Sql demo |
Tue, 21 Oct 2008 16:41:11 -0400 |
Adam Chlipala |
New implicit argument handling |
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: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 15:47:47 -0400 |
Adam Chlipala |
Support for URL prefixes that works with local demo |
Tue, 14 Oct 2008 16:41:48 -0400 |
Adam Chlipala |
lform -> form |
Sat, 04 Oct 2008 16:15:13 -0400 |
Adam Chlipala |
Use checkbox in CRUD example |
Sun, 14 Sep 2008 19:22:04 -0400 |
Adam Chlipala |
Fix inexhaustive match |
Sun, 14 Sep 2008 11:02:18 -0400 |
Adam Chlipala |
SQL sequences |
Thu, 11 Sep 2008 17:41:52 -0400 |
Adam Chlipala |
Crud listing IDs |
Tue, 09 Sep 2008 12:36:13 -0400 |
Adam Chlipala |
Termination checking allows anything in links and actions |
Sun, 07 Sep 2008 15:40:42 -0400 |
Adam Chlipala |
Rename 'lw' prefixes to 'uw' |
Sun, 07 Sep 2008 15:16:10 -0400 |
Adam Chlipala |
First DELETE works |