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
/
demo
/
batchFun.ur
Commit message (
Collapse
)
Author
Age
*
Update demo code for key/mouse handler change
Adam Chlipala
2012-07-21
|
*
Lighter-weight encoding of window function use
Adam Chlipala
2012-06-03
|
*
Track whether SQL expressions may use window functions, in preparation for ↵
Adam Chlipala
2012-06-02
|
|
|
|
actual window function support
*
Redo HTML context classification, to keep regular <body> tags out of <table> ↵
Adam Chlipala
2011-12-20
|
|
|
|
and <tr>
*
Small tweaks to update demos for record unification change
Adam Chlipala
2010-12-15
|
*
Flex kinds for type-level tuples; ::_ notation
Adam Chlipala
2010-10-10
|
*
Changing foldRX to mapX
Adam Chlipala
2010-02-28
|
*
Make summary unification more conservative; infer implicit arguments after ↵
Adam Chlipala
2009-12-26
|
|
|
|
applications
*
Adapted existing demos to tuple pattern-matching
Adam Chlipala
2009-10-20
|
*
Convert to requiring explicit 'rpc' marker
Adam Chlipala
2009-08-22
|
*
Do 'open constraints' automatically; fix sourceless <cselect> monoize bug; ↵
Adam Chlipala
2009-06-02
|
|
|
|
Monad library module
*
Demo compiles with pattern-matching-fu
Adam Chlipala
2009-05-28
|
*
Enhance table sig item support and get demo compiling again
Adam Chlipala
2009-04-07
|
*
BatchG demo
Adam Chlipala
2009-03-10