| Tue, 30 Dec 2008 09:43:41 -0500 |
Adam Chlipala |
Starting to implement source set |
| 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 |
| Thu, 06 Nov 2008 18:49:38 -0500 |
Adam Chlipala |
Tree demo works |
| Thu, 06 Nov 2008 17:09:53 -0500 |
Adam Chlipala |
About to begin optimization of recursive transaction functions |
| Thu, 06 Nov 2008 15:37:38 -0500 |
Adam Chlipala |
Inserted a NULL value |
| Thu, 06 Nov 2008 10:29:55 -0500 |
Adam Chlipala |
Cookies through elaborate |
| Thu, 06 Nov 2008 09:21:34 -0500 |
Adam Chlipala |
Monoizing FFI transactions correctly |
| Sat, 01 Nov 2008 17:19:12 -0400 |
Adam Chlipala |
Fix some type-class detection |
| Thu, 30 Oct 2008 17:07:34 -0400 |
Adam Chlipala |
Remove _espec tag; add some tag fields |
| Thu, 30 Oct 2008 16:58:54 -0400 |
Adam Chlipala |
Especialize |
| Thu, 30 Oct 2008 15:33:28 -0400 |
Adam Chlipala |
CURRENT_TIMESTAMP |
| 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 17:34:20 -0400 |
Adam Chlipala |
Rec demo |
| Tue, 21 Oct 2008 17:30:06 -0400 |
Adam Chlipala |
Form example |
| Tue, 21 Oct 2008 16:41:11 -0400 |
Adam Chlipala |
New implicit argument handling |
| Tue, 21 Oct 2008 11:19:17 -0400 |
Adam Chlipala |
ord_float and ord_bool |
| 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 |
