| Sat, 04 Apr 2009 15:56:47 -0400 |
Adam Chlipala |
sleep and better Scriptcheck |
| Thu, 26 Mar 2009 14:37:31 -0400 |
Adam Chlipala |
Type class reductions, but no inclusions yet |
| Tue, 24 Feb 2009 15:12:13 -0500 |
Adam Chlipala |
Demos compile again, with manual folders |
| 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 |
| 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 |
| Sat, 08 Nov 2008 13:15:00 -0500 |
Adam Chlipala |
Some small changes while failing to write [restrict] |
| Sat, 08 Nov 2008 10:33:58 -0500 |
Adam Chlipala |
Resolve all tag named in [Basis]; deal with C compilation failure without leaving /tmp files |
| 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 |
