2009-02-21 |
Adam Chlipala |
Time to start thinking about guards |
2009-02-21 |
Adam Chlipala |
Most of expression semantics |
2009-02-21 |
Adam Chlipala |
map-only syntax and semantics |
2009-02-18 |
Adam Chlipala |
Semantics for ordered rows only |
2009-02-17 |
Adam Chlipala |
Start of Featherweight Ur semantics |
2009-02-15 |
Adam Chlipala |
Parameterized RPC query |
2009-02-15 |
Adam Chlipala |
Initial parsing of RPC results |
2009-02-15 |
Adam Chlipala |
Detect AJAX call failures |
2009-02-15 |
Adam Chlipala |
Avoid extra slashes in Cjr urlification |
2009-02-15 |
Adam Chlipala |
Reading and displaying value via AJAX |
2009-02-15 |
Adam Chlipala |
First gimpy RPC |
2009-02-15 |
Adam Chlipala |
Export RPC functions and push RPC calls through to Mono |
2009-02-14 |
Adam Chlipala |
Start of RPCification |
2009-01-27 |
Adam Chlipala |
Use normal fields of ctextboxes |
2009-01-17 |
Adam Chlipala |
dlist2 working swimmingly |
2009-01-17 |
Adam Chlipala |
Add dynamic content under proper parents |
2009-01-16 |
Adam Chlipala |
dlist example working |
2009-01-13 |
Adam Chlipala |
Combine lib* directories |
2009-01-13 |
Adam Chlipala |
Initial experiments with nested <dyn> |
2009-01-11 |
Adam Chlipala |
Do proper insertion of dynamic content within nested DOM containers |
2009-01-11 |
Adam Chlipala |
Use header to set default script type |
2009-01-11 |
Adam Chlipala |
Hooking a source into an input |
2009-01-08 |
Adam Chlipala |
Injected a non-special-case datatype |
2009-01-08 |
Adam Chlipala |
Injected a polymorphic, recursive type |
2009-01-08 |
Adam Chlipala |
Injected an enumeration |
2009-01-02 |
Adam Chlipala |
Injected an option |
2009-01-02 |
Adam Chlipala |
Injected a record |
2009-01-01 |
Adam Chlipala |
Injecting strings and bools |
2009-01-01 |
Adam Chlipala |
Injecting a float |
2009-01-01 |
Adam Chlipala |
Injecting an int |
2009-01-01 |
Adam Chlipala |
Included a recursive function in JavaScript |
2009-01-01 |
Adam Chlipala |
Basic datatype reactives |
2009-01-01 |
Adam Chlipala |
Reactive if |
2009-01-01 |
Adam Chlipala |
Reactive bool |
2009-01-01 |
Adam Chlipala |
Reactive record pattern |
2009-01-01 |
Adam Chlipala |
Used an option as a source |
2009-01-01 |
Adam Chlipala |
Reactive computation with more base types and records |
2009-01-01 |
Adam Chlipala |
Source containing an int |
2008-12-30 |
Adam Chlipala |
Double-bind works |
2008-12-30 |
Adam Chlipala |
Propagating a change through a bind |
2008-12-30 |
Adam Chlipala |
Propagated a source change into a dynamic document element |
2008-12-30 |
Adam Chlipala |
Harmonized source-setting between server and client |
2008-12-30 |
Adam Chlipala |
Setting a source server-side |
2008-12-30 |
Adam Chlipala |
Merge |
2008-12-30 |
Adam Chlipala |
Starting to implement source set |
2008-12-21 |
Adam Chlipala |
Trivial use of a source |
2008-12-24 |
Adam Chlipala |
More manual bug reports from megacz |
2008-12-21 |
Adam Chlipala |
Handling singnal bind |
2008-12-21 |
Adam Chlipala |
Switch to using dyn() function in JavaScript |
2008-12-20 |
Adam Chlipala |
Typo report from megacz |
2008-12-20 |
Adam Chlipala |
Successfully generated a page element from a signal |
2008-12-20 |
Adam Chlipala |
Initial <dyn> support |
2008-12-20 |
Adam Chlipala |
Start of JsComp |
2008-12-19 |
Adam Chlipala |
Displayed an alert dialog |
2008-12-19 |
Adam Chlipala |
Creation of sources in server code |
2008-12-19 |
Adam Chlipala |
Monad type class seems to be working |
2008-12-19 |
Adam Chlipala |
Initial conversion to arbitrary-kind classes |
2008-12-19 |
Adam Chlipala |
Add initial C support for reactive |
2008-12-09 |
Adam Chlipala |
Prepare to release |
2008-12-09 |
Adam Chlipala |
Spell check |