log

age author description
2009-03-12 Adam Chlipala Revise type inference section
2009-03-12 Adam Chlipala Revise manual, through static semantics
2009-03-12 Adam Chlipala Revise manual, through end of Syntax
2009-03-12 Adam Chlipala Change location/type of [fold] to be more uniform w.r.t. derived folders
2009-03-12 Adam Chlipala Revising manual, through main syntax section
2009-03-10 Adam Chlipala Noisy demo
2009-03-10 Adam Chlipala BatchG demo
2009-03-10 Adam Chlipala Batch example
2009-03-10 Adam Chlipala Increment demo
2009-03-10 Adam Chlipala Prose for ListEdit
2009-03-10 Adam Chlipala ListEdit demo, minus prose
2009-03-10 Adam Chlipala React demo
2009-03-10 Adam Chlipala Alert demo
2009-03-10 Adam Chlipala Avoid any JavaScript when pages don't need it; update demo prose
2009-03-09 Adam Chlipala Conversion of functions to CPS, to facilitate ServerCall
2009-03-08 Adam Chlipala RPC returning an option
2009-03-08 Adam Chlipala RPC returning a default datatype
2009-03-08 Adam Chlipala RPC returning an option datatype
2009-03-08 Adam Chlipala RPC returning an enumeration
2009-02-26 Adam Chlipala Kind-polymorphic [fst] and friends
2009-02-26 Adam Chlipala Coq README
2009-02-24 Adam Chlipala Coq formalization uses TDisjoint
2009-02-24 Adam Chlipala Folder generation for functors
2009-02-24 Adam Chlipala Folder generation for functions
2009-02-24 Adam Chlipala Demos compile again, with manual folders
2009-02-24 Adam Chlipala Make folders abstract
2009-02-24 Adam Chlipala Top.Fold.mp
2009-02-24 Adam Chlipala Top.Fold.concat elaborates
2009-02-24 Adam Chlipala Switch to TDisjoint from CDisjoint; still need to implement obligation generation at EDisjoint uses
2009-02-22 Adam Chlipala demo/sum working with manual folders
2009-02-22 Adam Chlipala demo/hello compiles with kind polymorphism
2009-02-22 Adam Chlipala Turned off termination checking, for now
2009-02-22 Adam Chlipala Kind polymorphism through Explify
2009-02-22 Adam Chlipala Start of kind polymorphism, up to the point where demo/hello elaborates with updated Basis/Top
2009-02-21 Adam Chlipala Debug reverse-engineering unification
2009-02-21 Adam Chlipala "Hello world" compiles, after replacing type-level fold with map
2009-02-21 Adam Chlipala Finish semantics for Featherweight Ur
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