Thu, 09 Apr 2009 12:31:56 -0400 |
Adam Chlipala |
Made type class system very general; demo compiles |
Tue, 07 Apr 2009 18:47:47 -0400 |
Adam Chlipala |
FOREIGN KEY, without ability to link NULL to NOT NULL (and with some lingering problems in row inference) |
Tue, 07 Apr 2009 16:14:31 -0400 |
Adam Chlipala |
PRIMARY KEY |
Tue, 07 Apr 2009 14:11:32 -0400 |
Adam Chlipala |
Track uniqueness sets in table types |
Tue, 07 Apr 2009 12:24:31 -0400 |
Adam Chlipala |
UNIQUE constraints |
Sun, 05 Apr 2009 12:37:38 -0400 |
Adam Chlipala |
Update the manual |
Sat, 04 Apr 2009 15:56:47 -0400 |
Adam Chlipala |
sleep and better Scriptcheck |
Sat, 04 Apr 2009 14:55:36 -0400 |
Adam Chlipala |
spawn |