| Tue, 10 Mar 2009 17:29:03 -0400 |
Adam Chlipala |
Noisy demo |
| Tue, 10 Mar 2009 16:38:38 -0400 |
Adam Chlipala |
BatchG demo |
| Tue, 10 Mar 2009 15:17:23 -0400 |
Adam Chlipala |
Batch example |
| Tue, 10 Mar 2009 13:57:09 -0400 |
Adam Chlipala |
Increment demo |
| Tue, 10 Mar 2009 13:46:45 -0400 |
Adam Chlipala |
Prose for ListEdit |
| Tue, 10 Mar 2009 12:44:40 -0400 |
Adam Chlipala |
ListEdit demo, minus prose |
| Tue, 10 Mar 2009 11:18:01 -0400 |
Adam Chlipala |
React demo |
| Tue, 10 Mar 2009 10:49:18 -0400 |
Adam Chlipala |
Alert demo |
| Tue, 10 Mar 2009 10:44:26 -0400 |
Adam Chlipala |
Avoid any JavaScript when pages don't need it; update demo prose |
| Sun, 08 Mar 2009 20:34:21 -0400 |
Adam Chlipala |
Conversion of functions to CPS, to facilitate ServerCall |
| Sun, 08 Mar 2009 13:41:55 -0400 |
Adam Chlipala |
RPC returning an option |
| Sun, 08 Mar 2009 13:28:21 -0400 |
Adam Chlipala |
RPC returning a default datatype |
| Sun, 08 Mar 2009 12:54:07 -0400 |
Adam Chlipala |
RPC returning an option datatype |
| Sun, 08 Mar 2009 12:37:42 -0400 |
Adam Chlipala |
RPC returning an enumeration |
| Thu, 26 Feb 2009 16:16:54 -0500 |
Adam Chlipala |
Kind-polymorphic [fst] and friends |
| Thu, 26 Feb 2009 13:56:54 -0500 |
Adam Chlipala |
Coq README |
| Tue, 24 Feb 2009 16:08:14 -0500 |
Adam Chlipala |
Coq formalization uses TDisjoint |
| Tue, 24 Feb 2009 15:54:05 -0500 |
Adam Chlipala |
Folder generation for functors |
| Tue, 24 Feb 2009 15:38:01 -0500 |
Adam Chlipala |
Folder generation for functions |
| Tue, 24 Feb 2009 15:12:13 -0500 |
Adam Chlipala |
Demos compile again, with manual folders |
| Tue, 24 Feb 2009 14:04:07 -0500 |
Adam Chlipala |
Make folders abstract |
| Tue, 24 Feb 2009 13:50:39 -0500 |
Adam Chlipala |
Top.Fold.mp |
| 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 |
