log

age author description
2009-03-26 Adam Chlipala Type class inclusions
2009-03-26 Adam Chlipala Type class reductions, but no inclusions yet
2009-03-24 Adam Chlipala Variable timeouts and client keep-alive
2009-03-24 Adam Chlipala Fix some AJAX annoyances
2009-03-24 Adam Chlipala Transactionalize channel operations
2009-03-22 Adam Chlipala Proper recv
2009-03-22 Adam Chlipala Press a button to send a message
2009-03-22 Adam Chlipala First message send delivered, but not interpreted
2009-03-19 Adam Chlipala Dummy message delivery to clients
2009-03-19 Adam Chlipala Factor out some common buffer functionality
2009-03-12 Adam Chlipala Mention src/coq in CHANGELOG
2009-03-12 Adam Chlipala Spell-check manual
2009-03-12 Adam Chlipala Update CHANGELOG
2009-03-12 Adam Chlipala Add guard elim rule
2009-03-12 Adam Chlipala Update compiler phases
2009-03-12 Adam Chlipala Describe AJAX RPC structure
2009-03-12 Adam Chlipala Functional-reactive subsection
2009-03-12 Adam Chlipala Update old Ur/Web library section, before adding new stuff
2009-03-12 Adam Chlipala Describe folders
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