Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Monad.appR3 | Adam Chlipala | 2010-10-19 |
* | Monad.appR | Adam Chlipala | 2010-10-19 |
* | Simplify type of Monad.appR2 | Adam Chlipala | 2010-10-17 |
* | Fix C-mangling of datatype names | Adam Chlipala | 2010-05-16 |
* | 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 ap... | Adam Chlipala | 2009-12-26 |
* | 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 Server... | Adam Chlipala | 2009-08-09 |
* | 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; Mo... | Adam Chlipala | 2009-06-02 |