summaryrefslogtreecommitdiff
path: root/lib/ur/monad.urs
Commit message (Collapse)AuthorAge
* Make summary unification more conservative; infer implicit arguments after ↵Gravatar Adam Chlipala2009-12-26
| | | | applications
* 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 ↵Gravatar Adam Chlipala2009-08-09
| | | | ServerCalls; eta reduction in type inference
* 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; ↵Gravatar Adam Chlipala2009-06-02
Monad library module