Mercurial > urweb
log lib/ur/monad.urs
age | author | description |
---|---|---|
2009-09-15 | Adam Chlipala | Summary row with aggregates |
2009-09-08 | Adam Chlipala | dragList demo working, save for Gecko load delay and highlighting |
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-06-02 | Adam Chlipala | Do 'open constraints' automatically; fix sourceless <cselect> monoize bug; Monad library module |