| Sun, 22 Feb 2009 16:32:56 -0500 |
Adam Chlipala |
Kind polymorphism through Explify |
| Thu, 06 Nov 2008 10:43:48 -0500 |
Adam Chlipala |
Cookies through explify |
| Sun, 14 Sep 2008 11:02:18 -0400 |
Adam Chlipala |
SQL sequences |
| Tue, 02 Sep 2008 14:40:57 -0400 |
Adam Chlipala |
Validating schema of a live database |
| Sun, 31 Aug 2008 08:46:22 -0400 |
Adam Chlipala |
Explify tables |
| Fri, 08 Aug 2008 10:28:32 -0400 |
Adam Chlipala |
Parametrized datatypes through explify |
| Tue, 29 Jul 2008 12:30:04 -0400 |
Adam Chlipala |
Add datatype import constructor annotations; datatypes through explify |
| Thu, 17 Jul 2008 10:13:18 -0400 |
Adam Chlipala |
Explifying (non-mutual) 'val rec' |
