| Thu, 14 May 2009 08:13:54 -0400 |
Adam Chlipala |
Improving/reordering Unpoly and Especialize; pathmaps |
| Sat, 02 May 2009 11:27:26 -0400 |
Adam Chlipala |
Successfully influenced effectful-ness status of FFI func |
| Thu, 30 Apr 2009 17:15:14 -0400 |
Adam Chlipala |
C FFI compiler options |
| Sun, 26 Apr 2009 09:02:17 -0400 |
Adam Chlipala |
Returning a blob as page result |
| Thu, 23 Apr 2009 16:13:02 -0400 |
Adam Chlipala |
Cookie signatures for RPCs |
| Thu, 16 Apr 2009 13:47:20 -0400 |
Adam Chlipala |
Some client-side error handling |
| Thu, 16 Apr 2009 12:36:01 -0400 |
Adam Chlipala |
onError |
| Sun, 05 Apr 2009 16:17:32 -0400 |
Adam Chlipala |
Fixing some regressions and other bugs |
| Sat, 04 Apr 2009 15:56:47 -0400 |
Adam Chlipala |
sleep and better Scriptcheck |
| Sat, 04 Apr 2009 14:55:36 -0400 |
Adam Chlipala |
spawn |
| Sat, 04 Apr 2009 14:03:39 -0400 |
Adam Chlipala |
_Really_ implement embedded closure GC; extend Scriptcheck to figure out when client IDs must be assigned |
| Sat, 04 Apr 2009 12:54:39 -0400 |
Adam Chlipala |
Fix overzealous Marshalcheck; garbage-collect string-embedded closures when no dyns are active |
| Sat, 04 Apr 2009 11:46:24 -0400 |
Adam Chlipala |
Checking spans in dyns |
| Sun, 29 Mar 2009 11:37:29 -0400 |
Adam Chlipala |
Redo channels, making them single-client |
| Thu, 26 Mar 2009 18:26:50 -0400 |
Adam Chlipala |
Chat example working nicely, but without dead channel removal |
| Sun, 22 Mar 2009 16:03:45 -0400 |
Adam Chlipala |
Proper recv |
| Sun, 22 Mar 2009 15:05:07 -0400 |
Adam Chlipala |
First message send delivered, but not interpreted |
| Tue, 10 Mar 2009 17:29:03 -0400 |
Adam Chlipala |
Noisy demo |
| Tue, 10 Mar 2009 15:17:23 -0400 |
Adam Chlipala |
Batch example |
| Tue, 10 Mar 2009 12:44:40 -0400 |
Adam Chlipala |
ListEdit demo, minus prose |
| Sun, 08 Mar 2009 13:41:55 -0400 |
Adam Chlipala |
RPC returning an option |
| Sun, 08 Mar 2009 12:37:42 -0400 |
Adam Chlipala |
RPC returning an enumeration |
| Sun, 15 Feb 2009 13:03:09 -0500 |
Adam Chlipala |
Parameterized RPC query |
| Sun, 15 Feb 2009 12:33:41 -0500 |
Adam Chlipala |
Initial parsing of RPC results |
| Sun, 15 Feb 2009 10:32:50 -0500 |
Adam Chlipala |
First gimpy RPC |
| Sun, 15 Feb 2009 09:27:36 -0500 |
Adam Chlipala |
Export RPC functions and push RPC calls through to Mono |
| Fri, 16 Jan 2009 15:49:10 -0500 |
Adam Chlipala |
dlist example working |
| Tue, 13 Jan 2009 15:17:11 -0500 |
Adam Chlipala |
Initial experiments with nested <dyn> |
| Thu, 08 Jan 2009 10:30:14 -0500 |
Adam Chlipala |
Injected a non-special-case datatype |
| Thu, 08 Jan 2009 10:15:45 -0500 |
Adam Chlipala |
Injected a polymorphic, recursive type |
| Thu, 08 Jan 2009 09:57:45 -0500 |
Adam Chlipala |
Injected an enumeration |
| Fri, 02 Jan 2009 13:03:22 -0500 |
Adam Chlipala |
Injected an option |
| Fri, 02 Jan 2009 12:42:39 -0500 |
Adam Chlipala |
Injected a record |
| Thu, 01 Jan 2009 16:11:42 -0500 |
Adam Chlipala |
Injecting strings and bools |
| Thu, 01 Jan 2009 15:59:02 -0500 |
Adam Chlipala |
Injecting a float |
| Thu, 01 Jan 2009 15:11:17 -0500 |
Adam Chlipala |
Injecting an int |
| Thu, 01 Jan 2009 11:58:00 -0500 |
Adam Chlipala |
Included a recursive function in JavaScript |
| Thu, 01 Jan 2009 11:26:34 -0500 |
Adam Chlipala |
Basic datatype reactives |
| Thu, 01 Jan 2009 11:16:57 -0500 |
Adam Chlipala |
Reactive if |
| Thu, 01 Jan 2009 11:13:08 -0500 |
Adam Chlipala |
Reactive bool |
| Thu, 01 Jan 2009 11:04:09 -0500 |
Adam Chlipala |
Reactive record pattern |
| Thu, 01 Jan 2009 10:49:42 -0500 |
Adam Chlipala |
Used an option as a source |
| Thu, 01 Jan 2009 10:18:20 -0500 |
Adam Chlipala |
Reactive computation with more base types and records |
| Thu, 01 Jan 2009 10:08:22 -0500 |
Adam Chlipala |
Source containing an int |
| Tue, 30 Dec 2008 15:53:04 -0500 |
Adam Chlipala |
Propagated a source change into a dynamic document element |
| Tue, 30 Dec 2008 11:33:31 -0500 |
Adam Chlipala |
Harmonized source-setting between server and client |
| Tue, 30 Dec 2008 10:49:42 -0500 |
Adam Chlipala |
Setting a source server-side |
| Sun, 21 Dec 2008 12:56:39 -0500 |
Adam Chlipala |
Trivial use of a source |
| Sun, 21 Dec 2008 12:30:57 -0500 |
Adam Chlipala |
Handling singnal bind |
| Sat, 20 Dec 2008 16:19:26 -0500 |
Adam Chlipala |
Successfully generated a page element from a signal |
| Sat, 20 Dec 2008 15:46:48 -0500 |
Adam Chlipala |
Initial <dyn> support |
| Sat, 20 Dec 2008 14:19:21 -0500 |
Adam Chlipala |
Start of JsComp |
