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 |