Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Monad.foldMapR | Adam Chlipala | 2010-03-02 |
| | |||
* | Changing foldRX to mapX | Adam Chlipala | 2010-02-28 |
| | |||
* | Make summary unification more conservative; infer implicit arguments after ↵ | Adam Chlipala | 2009-12-26 |
| | | | | applications | ||
* | Summary row with aggregates | Adam Chlipala | 2009-09-15 |
| | |||
* | dragList demo working, save for Gecko load delay and highlighting | Adam Chlipala | 2009-09-08 |
| | |||
* | grid1 compiles but gets stuck in JS | Adam Chlipala | 2009-08-25 |
| | |||
* | Library improvements; proper list [un]urlification; remove server-side ↵ | Adam Chlipala | 2009-08-09 |
| | | | | ServerCalls; eta reduction in type inference | ||
* | Working on Grid; have gone from one dynamic table bizareness to another | Adam Chlipala | 2009-07-19 |
| | |||
* | Do 'open constraints' automatically; fix sourceless <cselect> monoize bug; ↵ | Adam Chlipala | 2009-06-02 |
Monad library module |