summaryrefslogtreecommitdiff
path: root/lib/ur/monad.urs
Commit message (Expand)AuthorAge
* Monad.mapR3Gravatar Adam Chlipala2015-10-31
* Some standard library additions from Edward Z. YangGravatar Adam Chlipala2012-05-19
* Monad.appR3Gravatar Adam Chlipala2010-10-19
* Monad.appRGravatar Adam Chlipala2010-10-19
* Simplify type of Monad.appR2Gravatar Adam Chlipala2010-10-17
* Fix C-mangling of datatype namesGravatar Adam Chlipala2010-05-16
* Monad.foldMapRGravatar Adam Chlipala2010-03-02
* Changing foldRX to mapXGravatar Adam Chlipala2010-02-28
* Make summary unification more conservative; infer implicit arguments after ap...Gravatar Adam Chlipala2009-12-26
* Summary row with aggregatesGravatar Adam Chlipala2009-09-15
* dragList demo working, save for Gecko load delay and highlightingGravatar Adam Chlipala2009-09-08
* grid1 compiles but gets stuck in JSGravatar Adam Chlipala2009-08-25
* Library improvements; proper list [un]urlification; remove server-side Server...Gravatar Adam Chlipala2009-08-09
* Working on Grid; have gone from one dynamic table bizareness to anotherGravatar Adam Chlipala2009-07-19
* Do 'open constraints' automatically; fix sourceless <cselect> monoize bug; Mo...Gravatar Adam Chlipala2009-06-02