| 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 |
