Sat, 21 Feb 2009 15:33:20 -0500 |
Adam Chlipala |
"Hello world" compiles, after replacing type-level fold with map |
Sat, 21 Feb 2009 14:10:06 -0500 |
Adam Chlipala |
Finish semantics for Featherweight Ur |
Sat, 21 Feb 2009 13:22:30 -0500 |
Adam Chlipala |
Time to start thinking about guards |
Sat, 21 Feb 2009 13:17:06 -0500 |
Adam Chlipala |
Most of expression semantics |
Sat, 21 Feb 2009 11:23:24 -0500 |
Adam Chlipala |
map-only syntax and semantics |
Wed, 18 Feb 2009 09:32:17 -0500 |
Adam Chlipala |
Semantics for ordered rows only |
Tue, 17 Feb 2009 14:49:28 -0500 |
Adam Chlipala |
Start of Featherweight Ur semantics |
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 11:33:53 -0500 |
Adam Chlipala |
Detect AJAX call failures |
Sun, 15 Feb 2009 11:24:16 -0500 |
Adam Chlipala |
Avoid extra slashes in Cjr urlification |
Sun, 15 Feb 2009 10:54:00 -0500 |
Adam Chlipala |
Reading and displaying value via AJAX |
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 |
Sat, 14 Feb 2009 14:07:56 -0500 |
Adam Chlipala |
Start of RPCification |
Tue, 27 Jan 2009 09:53:51 -0500 |
Adam Chlipala |
Use normal fields of ctextboxes |
Sat, 17 Jan 2009 09:55:12 -0500 |
Adam Chlipala |
dlist2 working swimmingly |
Sat, 17 Jan 2009 09:47:30 -0500 |
Adam Chlipala |
Add dynamic content under proper parents |
Fri, 16 Jan 2009 15:49:10 -0500 |
Adam Chlipala |
dlist example working |
Tue, 13 Jan 2009 15:23:48 -0500 |
Adam Chlipala |
Combine lib* directories |
Tue, 13 Jan 2009 15:17:11 -0500 |
Adam Chlipala |
Initial experiments with nested <dyn> |
Sun, 11 Jan 2009 10:41:38 -0500 |
Adam Chlipala |
Do proper insertion of dynamic content within nested DOM containers |
Sun, 11 Jan 2009 10:22:19 -0500 |
Adam Chlipala |
Use header to set default script type |
Sun, 11 Jan 2009 10:05:06 -0500 |
Adam Chlipala |
Hooking a source into an input |