log

age author description
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