index
:
debian-urweb
dfsg_clean
master
unofficial
Debian packaging for Ur/Web
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
lib
/
ur
/
monad.ur
Commit message (
Collapse
)
Author
Age
*
Implicit argument insertion for local variables
Adam Chlipala
2011-06-14
|
*
Monad.appR3
Adam Chlipala
2010-10-19
|
*
Monad.appR
Adam Chlipala
2010-10-19
|
*
Simplify type of Monad.appR2
Adam Chlipala
2010-10-17
|
*
Fix C-mangling of datatype names
Adam Chlipala
2010-05-16
|
*
Monad.foldMapR
Adam Chlipala
2010-03-02
|
*
Changing foldRX to mapX
Adam Chlipala
2010-02-28
|
*
Make summary unification more conservative; infer implicit arguments after ↵
Adam Chlipala
2009-12-26
|
|
|
|
applications
*
Summary row with aggregates
Adam Chlipala
2009-09-15
|
*
dragList demo working, save for Gecko load delay and highlighting
Adam Chlipala
2009-09-08
|
*
grid1 compiles but gets stuck in JS
Adam Chlipala
2009-08-25
|
*
Library improvements; proper list [un]urlification; remove server-side ↵
Adam Chlipala
2009-08-09
|
|
|
|
ServerCalls; eta reduction in type inference
*
Working on Grid; have gone from one dynamic table bizareness to another
Adam Chlipala
2009-07-19
|
*
Do 'open constraints' automatically; fix sourceless <cselect> monoize bug; ↵
Adam Chlipala
2009-06-02
Monad library module