log
graph
tags
bookmarks
branches
changeset
browse
file
diff
comparison
annotate
file log
raw
help
Mercurial
>
urweb
log lib/ur/monad.ur
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
less
more
|
(0)
tip
age
author
description
2012-05-19
Adam Chlipala
Some standard library additions from Edward Z. Yang
2011-06-14
Adam Chlipala
Implicit argument insertion for local variables
2010-10-19
Adam Chlipala
Monad.appR3
2010-10-19
Adam Chlipala
Monad.appR
2010-10-17
Adam Chlipala
Simplify type of Monad.appR2
2010-05-16
Adam Chlipala
Fix C-mangling of datatype names
2010-03-02
Adam Chlipala
Monad.foldMapR
2010-02-28
Adam Chlipala
Changing foldRX to mapX
2009-12-26
Adam Chlipala
Make summary unification more conservative; infer implicit arguments after applications
2009-09-15
Adam Chlipala
Summary row with aggregates
2009-09-08
Adam Chlipala
dragList demo working, save for Gecko load delay and highlighting
2009-08-25
Adam Chlipala
grid1 compiles but gets stuck in JS
2009-08-09
Adam Chlipala
Library improvements; proper list [un]urlification; remove server-side ServerCalls; eta reduction in type inference
2009-07-19
Adam Chlipala
Working on Grid; have gone from one dynamic table bizareness to another
2009-06-02
Adam Chlipala
Do 'open constraints' automatically; fix sourceless <cselect> monoize bug; Monad library module
less
more
|
(0)
tip