summaryrefslogtreecommitdiff
path: root/lib/ur/monad.ur
Commit message (Collapse)AuthorAge
* Implicit argument insertion for local variablesGravatar Adam Chlipala2011-06-14
|
* 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 ↵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