| Tue, 15 Dec 2009 10:19:05 -0500 |
Adam Chlipala |
Convert to task syntax |
| Sun, 13 Dec 2009 14:20:41 -0500 |
Adam Chlipala |
Initializers and setval |
| Thu, 28 May 2009 12:07:05 -0400 |
Adam Chlipala |
Destructing local let, to the point where demo compiles |
| Thu, 28 May 2009 10:16:50 -0400 |
Adam Chlipala |
fn-pattern code in but not tested yet; hello compiles |
| Sat, 16 May 2009 15:14:17 -0400 |
Adam Chlipala |
Mutual datatypes through Elaborate |
| Tue, 28 Apr 2009 15:04:37 -0400 |
Adam Chlipala |
A view query works |
| Sun, 12 Apr 2009 12:31:54 -0400 |
Adam Chlipala |
Stop tracking CSS classes in XML types |
| Sun, 12 Apr 2009 10:08:11 -0400 |
Adam Chlipala |
style declarations |
| Tue, 07 Apr 2009 16:14:31 -0400 |
Adam Chlipala |
PRIMARY KEY |
| Tue, 07 Apr 2009 15:04:07 -0400 |
Adam Chlipala |
Enhance table sig item support and get demo compiling again |
| Tue, 07 Apr 2009 12:24:31 -0400 |
Adam Chlipala |
UNIQUE constraints |
| Tue, 24 Feb 2009 13:46:08 -0500 |
Adam Chlipala |
Top.Fold.concat elaborates |
| Tue, 24 Feb 2009 12:01:24 -0500 |
Adam Chlipala |
Switch to TDisjoint from CDisjoint; still need to implement obligation generation at EDisjoint uses |
| Sun, 22 Feb 2009 16:10:25 -0500 |
Adam Chlipala |
Start of kind polymorphism, up to the point where demo/hello elaborates with updated Basis/Top |
| Sat, 21 Feb 2009 15:33:20 -0500 |
Adam Chlipala |
"Hello world" compiles, after replacing type-level fold with map |
| Fri, 19 Dec 2008 10:03:31 -0500 |
Adam Chlipala |
Initial conversion to arbitrary-kind classes |
