2009-11-07 |
Adam Chlipala |
Saving paper decisions |
2009-10-22 |
Adam Chlipala |
Checking deadline; sign-in |
2009-10-20 |
Adam Chlipala |
Start of user management |
2009-10-20 |
Adam Chlipala |
Registering for Conference1 |
2009-10-06 |
Adam Chlipala |
SELECT DISTINCT; eta expansion during Cjrization |
2009-09-15 |
Adam Chlipala |
Summary row with aggregates |
2009-08-25 |
Adam Chlipala |
grid1 compiles but gets stuck in JS |
2009-08-09 |
Adam Chlipala |
Library improvements; proper list [un]urlification; remove server-side ServerCalls; eta reduction in type inference |
2009-07-19 |
Adam Chlipala |
Working on Grid; have gone from one dynamic table bizareness to another |
2009-05-28 |
Adam Chlipala |
fn-pattern code in but not tested yet; hello compiles |
2009-05-03 |
Adam Chlipala |
outer demo |
2009-04-12 |
Adam Chlipala |
Stop tracking CSS classes in XML types |
2009-04-12 |
Adam Chlipala |
hello compiles with CSS |
2009-04-05 |
Adam Chlipala |
Chat demo |
2009-03-29 |
Adam Chlipala |
Expunging non-nullable rows |
2009-03-29 |
Adam Chlipala |
Redo channels, making them single-client |
2009-03-12 |
Adam Chlipala |
Change location/type of [fold] to be more uniform w.r.t. derived folders |
2009-03-10 |
Adam Chlipala |
BatchG demo |
2009-03-10 |
Adam Chlipala |
Avoid any JavaScript when pages don't need it; update demo prose |
2009-02-26 |
Adam Chlipala |
Kind-polymorphic [fst] and friends |
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 |
Start of kind polymorphism, up to the point where demo/hello elaborates with updated Basis/Top |
2009-02-21 |
Adam Chlipala |
"Hello world" compiles, after replacing type-level fold with map |
2009-01-13 |
Adam Chlipala |
Combine lib* directories
base
lib/top.ur@486f13b6bdda
|