| 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 |
| Fri, 31 Oct 2008 09:30:22 -0400 |
Adam Chlipala |
Replace 'with' with '++' |
| Thu, 30 Oct 2008 15:16:37 -0400 |
Adam Chlipala |
Time MIN/MAX |
| Thu, 23 Oct 2008 18:45:10 -0400 |
Adam Chlipala |
Crud2 demo |
| Thu, 23 Oct 2008 14:03:12 -0400 |
Adam Chlipala |
Metaform demos, minus prose |
| Tue, 21 Oct 2008 19:24:39 -0400 |
Adam Chlipala |
Sum demo, minus inference of {Unit}s |
