Mercurial > urweb
log lib/ur/monad.ur
age | author | description |
---|---|---|
2012-05-19 | Adam Chlipala | Some standard library additions from Edward Z. Yang |
2011-06-14 | Adam Chlipala | Implicit argument insertion for local variables |
2010-10-19 | Adam Chlipala | Monad.appR3 |
2010-10-19 | Adam Chlipala | Monad.appR |
2010-10-17 | Adam Chlipala | Simplify type of Monad.appR2 |
2010-05-16 | Adam Chlipala | Fix C-mangling of datatype names |
2010-03-02 | Adam Chlipala | Monad.foldMapR |
2010-02-28 | Adam Chlipala | Changing foldRX to mapX |
2009-12-26 | Adam Chlipala | Make summary unification more conservative; infer implicit arguments after applications |
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 |