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 |