summaryrefslogtreecommitdiff
path: root/lib/ur/monad.urs
Commit message (Expand)AuthorAge
* 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